diff options
| author | Ted Yin <[email protected]> | 2015-04-23 23:41:00 +0800 |
|---|---|---|
| committer | Ted Yin <[email protected]> | 2015-04-23 23:41:00 +0800 |
| commit | d789bc10fa85233e4322b795bec7b64806f123a0 (patch) | |
| tree | d00a9580aa49ab5e8ff9baea31bfdd04a53f4c6c | |
| parent | 10335b5b9f4cb092809eb45c487db28bfcdd99be (diff) | |
| parent | 1a61eeed31a5802156fc22694f515ad0d85c3a1a (diff) | |
Merge pull request #2 from YuMS/master
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 |