From d4e3fa373847255a039e47a0dff9108846369eb3 Mon Sep 17 00:00:00 2001
From: Benjamin Auder <benjamin.auder@somewhere>
Date: Fri, 19 Nov 2021 02:24:00 +0100
Subject: [PATCH] Cosmetics. Last quick commit fixed a bug in API at login to
 get uid

---
 index.html | 2 --
 server.py  | 2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 1bac61d..772c5e2 100644
--- a/index.html
+++ b/index.html
@@ -9,9 +9,7 @@
   <body>
     <script src="https://unpkg.com/mithril@2.0.4/mithril.min.js"></script>
     <script src="https://unpkg.com/socket.io-client@4.3.2/dist/socket.io.min.js"></script>
-    
     <!--<script src="https://cdnjs.cloudflare.com/ajax/libs/socket.io/2.3.0/socket.io.js"></script>-->
-    
     <script src="rpsls.js"></script>
   </body>
 </html>
diff --git a/server.py b/server.py
index f63f6e6..b256892 100644
--- a/server.py
+++ b/server.py
@@ -112,7 +112,7 @@ static_files = {
 
 PORT = getenv('RPSLS_PORT')
 if PORT is None:
-    PORT = "8000" #8001
+    PORT = "8000"
 PORT = int(PORT)
 
 # Wrap with a WSGI application
-- 
2.44.0