From: richard Date: Thu, 28 Nov 2002 06:55:57 +0000 (+0000) Subject: handle KeyboardInterrupt nicely X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=715f6d151e0a42146aeb9c64af875cae6bb946e6;p=roundup.git handle KeyboardInterrupt nicely git-svn-id: http://svn.roundup-tracker.org/svnroot/roundup/trunk@1385 57a73879-2fb5-44c3-a270-3262357dd7e2 --- diff --git a/roundup/scripts/roundup_server.py b/roundup/scripts/roundup_server.py index aa09755..fe11842 100644 --- a/roundup/scripts/roundup_server.py +++ b/roundup/scripts/roundup_server.py @@ -16,7 +16,7 @@ # """ HTTP Server that serves roundup. -$Id: roundup_server.py,v 1.15 2002-11-05 22:59:46 richard Exp $ +$Id: roundup_server.py,v 1.16 2002-11-28 06:55:57 richard Exp $ """ # python version check @@ -309,7 +309,10 @@ def run(): httpd = BaseHTTPServer.HTTPServer(address, RoundupRequestHandler) print _('Roundup server started on %(address)s')%locals() - httpd.serve_forever() + try: + httpd.serve_forever() + except KeyboardInterrupt: + print 'Keyboard Interrupt: exiting' if __name__ == '__main__': run()