Ticket #10725: 10725.patch
File 10725.patch, 553 bytes (added by , 13 years ago) |
---|
-
django/utils/autoreload.py
115 115 pass 116 116 else: 117 117 try: 118 sys.exit(restart_with_reloader()) 118 exit_code = restart_with_reloader() 119 if exit_code < 0: 120 os.kill(os.getpid(), -exit_code) 121 else: 122 sys.exit(exit_code) 119 123 except KeyboardInterrupt: 120 124 pass 121 125