From 6ecc032c0868d7d2901f4b95ec33c373886f6fc7 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Mon, 16 Jun 2025 21:38:47 +0200 Subject: fix crash on exit; fixes #292 --- client/server_list.gd | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/client/server_list.gd b/client/server_list.gd index 851c6e70..f3c1b456 100644 --- a/client/server_list.gd +++ b/client/server_list.gd @@ -36,7 +36,7 @@ var mdns := HTTPRequest.new() var reg := HTTPRequest.new() var thread: Thread -var pid: int +var pid: int = -1 var mdns_timer := Timer.new() var reg_timer := Timer.new() @@ -124,4 +124,7 @@ func one_shot() -> void: func _exit_tree(): if thread != null: thread.wait_to_finish() - if pid != null: OS.kill(pid) + if pid != -1: + OS.kill(pid) + var x = null + OS.kill(x) # TODO this somehow prevents a crash on exit; but is invalid according to docs -- cgit v1.2.3-70-g09d2