Cosmetics. Last quick commit fixed a bug in API at login to get uid main
authorBenjamin Auder <benjamin.auder@somewhere>
Fri, 19 Nov 2021 01:24:00 +0000 (02:24 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Fri, 19 Nov 2021 01:24:00 +0000 (02:24 +0100)
index.html
server.py

index 1bac61d..772c5e2 100644 (file)
@@ -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>
   <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="https://cdnjs.cloudflare.com/ajax/libs/socket.io/2.3.0/socket.io.js"></script>-->
-    
     <script src="rpsls.js"></script>
   </body>
 </html>
     <script src="rpsls.js"></script>
   </body>
 </html>
index f63f6e6..b256892 100644 (file)
--- a/server.py
+++ b/server.py
@@ -112,7 +112,7 @@ static_files = {
 
 PORT = getenv('RPSLS_PORT')
 if PORT is None:
 
 PORT = getenv('RPSLS_PORT')
 if PORT is None:
-    PORT = "8000" #8001
+    PORT = "8000"
 PORT = int(PORT)
 
 # Wrap with a WSGI application
 PORT = int(PORT)
 
 # Wrap with a WSGI application