diff options
| author | ced <> | 2007-01-27 18:04:04 +0000 |
|---|---|---|
| committer | ced <> | 2007-01-27 18:04:04 +0000 |
| commit | bc3c0241136a6f107e3dbe71ae5906727c6ea5e0 (patch) | |
| tree | bc82d5054778d515bde59c3027b3954c41c98b70 /bin/tinyerp-server.py | |
| parent | 2160a4733029fea5d76c1d5546b548d1825aee2d (diff) | |
KERNEL & CLIENT: add socket to client
bzr revid: ced-03b3c4b66589c71ef47e688002e648c7887b94ae
Diffstat (limited to 'bin/tinyerp-server.py')
| -rwxr-xr-x | bin/tinyerp-server.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/tinyerp-server.py b/bin/tinyerp-server.py index 70518098b5d..ffd8e659e4c 100755 --- a/bin/tinyerp-server.py +++ b/bin/tinyerp-server.py @@ -233,6 +233,7 @@ logger.notifyChannel("web-services", netsvc.LOG_INFO, "starting TinySocket servi def handler(signum, frame): from tools import config tinySocket.stop() + tinySocket.join() httpd.stop() netsvc.Agent.quit() if config['pidfile']: |