diff options
| author | Determinant <[email protected]> | 2015-07-21 01:28:46 +0800 |
|---|---|---|
| committer | Determinant <[email protected]> | 2015-07-21 01:28:46 +0800 |
| commit | 0e1850f848535df5b1d89f0d879ea6a0f541cc19 (patch) | |
| tree | df13808c612a3f0f6b0530ef383dd690fd9bc1ce /lab_monitor_server.py | |
| parent | 998fea341d9caa665d4e6b8e54f89a82636cd9b8 (diff) | |
| parent | d789bc10fa85233e4322b795bec7b64806f123a0 (diff) | |
Merge branch 'master' of github.com:Determinant/lab_monitor
Diffstat (limited to 'lab_monitor_server.py')
| -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 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() |