From: Benjamin Auder <benjamin.auder@somewhere> Date: Fri, 19 Nov 2021 01:24:00 +0000 (+0100) Subject: Cosmetics. Last quick commit fixed a bug in API at login to get uid X-Git-Url: https://git.auder.net/%7B%7B%20asset%28%27mixstore/images/scripts/doc/current/css/R.css?a=commitdiff_plain;p=rpsls-web.git Cosmetics. Last quick commit fixed a bug in API at login to get uid --- 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