diff options
| -rw-r--r-- | client/menu/main.gd | 1 | ||||
| -rw-r--r-- | client/menu/overlay.gd | 6 |
2 files changed, 3 insertions, 4 deletions
diff --git a/client/menu/main.gd b/client/menu/main.gd index a6f092d1..32dd993e 100644 --- a/client/menu/main.gd +++ b/client/menu/main.gd @@ -45,7 +45,6 @@ func _on_connect_pressed(): var url = connect_uri.text var result := url_regex.search(url) if result != null: - print(result.strings) if result.get_string(1) == "": url = "ws://" + url # only set default port for non-tls websocket connections diff --git a/client/menu/overlay.gd b/client/menu/overlay.gd index 46750b31..e80a00f9 100644 --- a/client/menu/overlay.gd +++ b/client/menu/overlay.gd @@ -43,10 +43,10 @@ func update(failed_: int, completed_: int, points_: int, time: float): points_label.text = str(points_) points_label.scale = LABEL_SCALE points = points_ - timer.wait_time = time - if timer.is_stopped(): - timer.start() + timer.stop() + timer.wait_time = time + timer.start() func set_ingame(_state: bool, lobby: bool): if lobby: |