Cannot stop server in linux

with current implementation, the TERM/INT signals are overridden. In linux this leads to not being able to terminate the process anymore (ctrl+C) the server is stock at

Opening port 8000... ok
Server is running...
Shutting down...
Stopping tornado... ok
Closing the domain... ok
Closing the mdb... info: ok
ok
Goodbye!
INFO:info:ok

multiple ctrl+c will repeat the shutdown-procedure but not terminate the python script. only option is to kill the python process.