From c32e48890f416b347fb26d8045c795a0bcabb03b Mon Sep 17 00:00:00 2001
From: "Wilson E. Alvarez" <wilson.e.alvarez@rubonnek.com>
Date: Fri, 9 Feb 2024 14:35:32 -0500
Subject: [PATCH] Use SafeFlag for EditorHTTPServer.server_quit

---
 platform/web/export/editor_http_server.cpp | 6 +++---
 platform/web/export/editor_http_server.h   | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/platform/web/export/editor_http_server.cpp b/platform/web/export/editor_http_server.cpp
index 0ccd4b8782df..9cf862eb1ed1 100644
--- a/platform/web/export/editor_http_server.cpp
+++ b/platform/web/export/editor_http_server.cpp
@@ -32,7 +32,7 @@
 
 void EditorHTTPServer::_server_thread_poll(void *data) {
 	EditorHTTPServer *web_server = static_cast<EditorHTTPServer *>(data);
-	while (!web_server->server_quit.get()) {
+	while (!web_server->server_quit.is_set()) {
 		OS::get_singleton()->delay_usec(6900);
 		{
 			MutexLock lock(web_server->server_lock);
@@ -193,7 +193,7 @@ void EditorHTTPServer::_poll() {
 }
 
 void EditorHTTPServer::stop() {
-	server_quit.set(true);
+	server_quit.set();
 	if (server_thread.is_started()) {
 		server_thread.wait_to_finish();
 	}
@@ -227,7 +227,7 @@ Error EditorHTTPServer::listen(int p_port, IPAddress p_address, bool p_use_tls,
 	}
 	Error err = server->listen(p_port, p_address);
 	if (err == OK) {
-		server_quit.set(false);
+		server_quit.clear();
 		server_thread.start(_server_thread_poll, this);
 	}
 	return err;
diff --git a/platform/web/export/editor_http_server.h b/platform/web/export/editor_http_server.h
index 8f5f69cc1ea9..4437492b5a8e 100644
--- a/platform/web/export/editor_http_server.h
+++ b/platform/web/export/editor_http_server.h
@@ -51,7 +51,7 @@ class EditorHTTPServer : public RefCounted {
 	uint8_t req_buf[4096];
 	int req_pos = 0;
 
-	SafeNumeric<bool> server_quit;
+	SafeFlag server_quit;
 	Mutex server_lock;
 	Thread server_thread;