diff options
| author | Zader Zheng <[email protected]> | 2015-04-23 21:59:45 +0800 |
|---|---|---|
| committer | Zader Zheng <[email protected]> | 2015-04-23 21:59:45 +0800 |
| commit | 1a61eeed31a5802156fc22694f515ad0d85c3a1a (patch) | |
| tree | d00a9580aa49ab5e8ff9baea31bfdd04a53f4c6c | |
| parent | 2a8bf2735b96e6c0d4b749c1672c3e549735de3c (diff) | |
sorry for my carelessness about the config
| -rw-r--r-- | lab_monitor_server.py | 4 | ||||
| -rw-r--r-- | server_settings.example.cfg | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/lab_monitor_server.py b/lab_monitor_server.py index 91bdbb9..cb48cf9 100644 --- a/lab_monitor_server.py +++ b/lab_monitor_server.py @@ -136,8 +136,8 @@ if __name__ == '__main__': format='[%(levelname)-7s] (%(threadName)-10s) %(message)s',) MAX_LENGTH = 65536 MAX_RECORDS = 32 - HTTP_PORT = config.get('HTTP', 'port') or 2333 - SOCKET_PORT = config.get('socket', 'port') or 2334 + HTTP_PORT = config.getint('HTTP', 'port') or 2333 + SOCKET_PORT = config.getint('socket', 'port') or 2334 HOST = '' lock = RWLock() diff --git a/server_settings.example.cfg b/server_settings.example.cfg index 387b054..d927f36 100644 --- a/server_settings.example.cfg +++ b/server_settings.example.cfg @@ -1,4 +1,4 @@ [HTTP] - port: 2333 +port: 2333 [socket] - port: 2334 +port: 2334 |