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