id	summary	reporter	owner	description	type	status	component	version	severity	resolution	keywords	cc	stage	has_patch	needs_docs	needs_tests	needs_better_patch	easy	ui_ux
21773	development server sometimes takes a long time to restart after source has been changed	clime	mardini	"There are cases when development server takes a long time to restart after sources have been changed. It happens when an exception has been raised. I fix the exception and refresh the page but it keeps throwing the same error. I usually kill the server with ctrl-c to restart it manually. But then comes another problem when I try to start it, that is: ""Error: That port is already in use."" Django server does not release the port when being killed. Would it be possible to release it so I can start it immediately? "	Bug	closed	Core (Management commands)	dev	Normal	fixed			Accepted	1	0	0	0	0	0