diff options
| -rw-r--r-- | django/core/management.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/django/core/management.py b/django/core/management.py index aeac118108..33783162ff 100644 --- a/django/core/management.py +++ b/django/core/management.py @@ -425,6 +425,7 @@ def runserver(port): sys.exit(1) print "Starting server on port %s with settings module %r." % (port, SETTINGS_MODULE) print "Go to http://127.0.0.1:%s/ for Django." % port + print "Quit the server with CONTROL-C (Unix) or CTRL-BREAK (Windows)." try: run(int(port), AdminMediaHandler(WSGIHandler())) except WSGIServerException, e: @@ -439,4 +440,6 @@ def runserver(port): error_text = str(e) sys.stderr.write("Error: %s\n" % error_text) sys.exit(1) + except KeyboardInterrupt: + sys.exit(0) runserver.args = '[optional port number]' |