juan/japanese-drum-game
1
0
Fork 0
mirror of https://github.com/jiojciojsioe3/a3cjroijsiojiorj.git synced 2024-12-23 09:46:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

allow multiplayer port to be changed

Browse Source
This commit is contained in:
Bui 2018-11-03 15:21:21 +00:00
parent 29176e896e
commit f70cbe44b3
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
server.py
View File

@ -4,6 +4,7 @@ import asyncio
import websockets
import json
import random
import sys
server_status = {
"waiting": {},
@ -314,7 +315,9 @@ async def connection(ws, path):
elif user["action"] == "invite" and user["session"] in server_status["invites"]:
del server_status["invites"][user["session"]]
port = int(sys.argv[1]) if len(sys.argv) > 1 else 34802
print('Starting server on port %d' % port)
asyncio.get_event_loop().run_until_complete(
websockets.serve(connection, "localhost", 34802)
websockets.serve(connection, "localhost", port)
)
asyncio.get_event_loop().run_forever()