You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-25 15:37:42 +00:00
Use SafeFlag for EditorHTTPServer.server_quit
This commit is contained in:
@@ -51,7 +51,7 @@ private:
|
||||
uint8_t req_buf[4096];
|
||||
int req_pos = 0;
|
||||
|
||||
SafeNumeric<bool> server_quit;
|
||||
SafeFlag server_quit;
|
||||
Mutex server_lock;
|
||||
Thread server_thread;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user