From 16dcb4562c8023c4b590863de2396f32267957b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juhani=20Krekel=C3=A4?= <juhani.haverinen@gmail.com>
Date: Sat, 7 Apr 2018 20:04:04 +0300
Subject: [PATCH] Change default port not to conflict with random testing

---
 server.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server.py b/server.py
index 56d90a2..70c5f4e 100644
--- a/server.py
+++ b/server.py
@@ -43,7 +43,7 @@ class HTTPRequestHandler(http.server.BaseHTTPRequestHandler):
 			self.__send_404(path)
 
 def main():
-	httpd = http.server.HTTPServer(('', 8000), HTTPRequestHandler)
+	httpd = http.server.HTTPServer(('', 4000), HTTPRequestHandler)
 	httpd.serve_forever()
 
 if __name__ == '__main__':