From ab23378fef920eda47fe098c958a1741dbeff451 Mon Sep 17 00:00:00 2001 From: Lurkars Date: Wed, 24 Jul 2019 20:35:03 +0200 Subject: [PATCH] server debugging --- ext/server.py | 1 + scripts/networking/game_server_requests.gd | 1 - scripts/networking/server.gd | 5 +++++ 3 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ext/server.py b/ext/server.py index a69508d..d3edfbf 100755 --- a/ext/server.py +++ b/ext/server.py @@ -64,6 +64,7 @@ def create_game(): abort(401) return + print("debug: " + str(game_count)) # check duplicate name base_name = name base_name_count = 1 diff --git a/scripts/networking/game_server_requests.gd b/scripts/networking/game_server_requests.gd index 275f866..c2a0f91 100644 --- a/scripts/networking/game_server_requests.gd +++ b/scripts/networking/game_server_requests.gd @@ -9,7 +9,6 @@ func _ready(): http = HTTPRequest.new() add_child(http) http.connect("request_completed",self, "_self_destroy") - print(game_server.get_api_addr()) func connect_http(node,function): diff --git a/scripts/networking/server.gd b/scripts/networking/server.gd index 4fab228..a547b8a 100644 --- a/scripts/networking/server.gd +++ b/scripts/networking/server.gd @@ -3,6 +3,7 @@ extends Node const MAX_PEERS = 4 const LOBBY_READY_WAIT_TIME = 3 const EMPTY_WAIT_TIME = 30 +const EMPTY_CLOSING_TIME = 60 var port:int = -1 var dedicated_server:bool = false @@ -34,6 +35,10 @@ func _ready(): var err = host_game(port) if err == OK: print(server_id + "New game hosted: port=" + str(port) + " secret=" + str(server_secret) + " bots=" + str(gamestate.bots) + " server-addr=" + game_server.get_server_addr() + " api-addr=" + game_server.get_api_addr()) + print(server_id + "Waiting for connection, closing server in " + str(EMPTY_CLOSING_TIME) + " seconds") + timer.set_wait_time(EMPTY_CLOSING_TIME) + timer.connect("timeout",self,"quit_server",[true]) + timer.start() else: push_error(server_id + "Could not create Server! (port=" + str(port) + " secret=" + str(server_secret) + " server-addr=" + game_server.get_server_addr() + " api-addr=" + game_server.get_api_addr() + ")") quit_server()