diff options
Diffstat (limited to 'platform/web/export/export_plugin.h')
| -rw-r--r-- | platform/web/export/export_plugin.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/web/export/export_plugin.h b/platform/web/export/export_plugin.h index 98e3fe729e..c73d6d6794 100644 --- a/platform/web/export/export_plugin.h +++ b/platform/web/export/export_plugin.h @@ -52,7 +52,7 @@ class EditorExportPlatformWeb : public EditorExportPlatform { int menu_options = 0; Ref<EditorHTTPServer> server; - bool server_quit = false; + SafeNumeric<bool> server_quit; Mutex server_lock; Thread server_thread; |