Merge pull request #18 from user938120/tor_port_setting

Add setting to change tor's port

1 files changed, 1 insertions, 1 deletions

diff --git a/server.py b/server.py
index c7b579c..9d3258a 100644
--- a/server.py
+++ b/server.py
@@ -164,5 +164,5 @@ if settings.allow_foreign_addresses:
 else:
     server = WSGIServer(('127.0.0.1', settings.port_number), site_dispatch,
                         log=FilteredRequestLog())
-print('Started httpserver on port ' , settings.port_number)
+print('Started httpserver on port' , settings.port_number)
 server.serve_forever()