diff options
Diffstat (limited to 'client')
| -rw-r--r-- | client/server_list.gd | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/client/server_list.gd b/client/server_list.gd index 32feb242..4e03a429 100644 --- a/client/server_list.gd +++ b/client/server_list.gd @@ -136,5 +136,3 @@ func _exit_tree(): if thread != null: thread.wait_to_finish() 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 |