diff options
| author | Zader Zheng <[email protected]> | 2015-04-18 00:00:29 +0800 |
|---|---|---|
| committer | Zader Zheng <[email protected]> | 2015-04-18 00:00:29 +0800 |
| commit | 1c3bb4acd175ec2ef13fa1edcf2fc7d765a0df45 (patch) | |
| tree | 893ef5fcc0b4bc2d9c5bb0530e31d8c7c909cccf | |
| parent | 42daf5aa3be3a659c94c9214ae63820c33876e32 (diff) | |
don't need to find old socket file now
| -rw-r--r-- | lab_monitor_server.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lab_monitor_server.py b/lab_monitor_server.py index 50f9430..1c664cd 100644 --- a/lab_monitor_server.py +++ b/lab_monitor_server.py @@ -110,10 +110,10 @@ def command_server(): conn.close() def cmd_shutdown(): - global is_exiting, cmd_socket, local_socket_address, cmd + global is_exiting, cmd_socket, cmd is_exiting.set(); cmd_socket.close() - socket(AF_INET).connect(local_socket_address) + socket.socket(AF_INET, SOCK_STREAM).connect((HOST, SOCKET_PORT)) cmd.join() class AJAXHandler(RequestHandler): |