Andreas/evennia
1
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-04-05 15:37:17 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Move the SetCtrlHandler call before the firing of the event.

Browse source
This commit is contained in:
Griatch 2016-11-25 09:07:09 +01:00
parent 870b417855
commit 3a4a097163
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
evennia/server/evennia_launcher.py
View file

@ -719,8 +719,8 @@ def kill(pidfile, signal=SIG, succmsg="", errmsg="",
# Windows can only send a SIGINT-like signal to
# *every* process spawned off the same console, so we must
# avoid killing ourselves here.
GenerateConsoleCtrlEvent(CTRL_C_EVENT, 0)
SetConsoleCtrlHandler(None, True)
GenerateConsoleCtrlEvent(CTRL_C_EVENT, 0)
except KeyboardInterrupt:
pass
else: