projects / rpsls-web.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 310a5fe)
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 patch | blob | blame | history
server.py patch | blob | blame | history

diff --git a/index.html b/index.html
index 1bac61d..772c5e2 100644 (file)
--- 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 (file)
--- 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
Unnamed repository; edit this file 'description' to name the repository.