diff options
author | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-06 17:08:18 +0200 |
---|---|---|
committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-10-06 17:08:18 +0200 |
commit | 38f30817592a59a889780dad4de2c5a9a09e88d3 (patch) | |
tree | c44e02570c1682ea76a938e5e772965cd1e40dff /daemon.py | |
parent | 808712ba6592233025d261c70e5ca1b14bb74590 (diff) | |
parent | d6aa9b9dfba1233ba5e6ce7229689cef8c7a6cc7 (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Diffstat (limited to 'daemon.py')
-rw-r--r-- | daemon.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3,7 +3,10 @@ if __name__ == '__main__': import os + import signal import logging logging.basicConfig(filename=os.environ.get('CODEQ_SERVER_LOG') or 'codeq-server.log', level=logging.DEBUG, format='%(asctime)s %(levelname)s %(message)s') import server + + signal.signal(signal.SIGCHLD, signal.SIG_IGN) server.socket.serve_forever() |