From 3568f927fc4224e8513dbdeef531ce330872126b Mon Sep 17 00:00:00 2001 From: teatov Date: Thu, 13 Feb 2025 21:28:29 +1000 Subject: [PATCH] change server history appending --- scripts/ui/play_menu.gd | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/scripts/ui/play_menu.gd b/scripts/ui/play_menu.gd index 625ac76..65be72a 100644 --- a/scripts/ui/play_menu.gd +++ b/scripts/ui/play_menu.gd @@ -74,8 +74,13 @@ func _on_join_button_pressed() -> void: if not (address in _server_history): _server_history.append(address) - var file := FileAccess.open(SERVER_HISTORY_PATH, FileAccess.WRITE) - file.store_string("\n".join(_server_history)) + var file := FileAccess.open(SERVER_HISTORY_PATH, FileAccess.READ_WRITE) + if file: + file.seek_end() + file.store_line(address) + else: + file = FileAccess.open(SERVER_HISTORY_PATH, FileAccess.WRITE) + file.store_line(address) Networker.set_local_player_info(_name_edit.text) Networker.join_game(address)