diff options
Diffstat (limited to 'platform/web/export/export_plugin.h')
| -rw-r--r-- | platform/web/export/export_plugin.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/platform/web/export/export_plugin.h b/platform/web/export/export_plugin.h index c73d6d6794..952d03cdb4 100644 --- a/platform/web/export/export_plugin.h +++ b/platform/web/export/export_plugin.h @@ -52,9 +52,6 @@ class EditorExportPlatformWeb : public EditorExportPlatform { int menu_options = 0; Ref<EditorHTTPServer> server; - SafeNumeric<bool> server_quit; - Mutex server_lock; - Thread server_thread; String _get_template_name(bool p_extension, bool p_thread_support, bool p_debug) const { String name = "web"; @@ -99,8 +96,6 @@ class EditorExportPlatformWeb : public EditorExportPlatform { Error _build_pwa(const Ref<EditorExportPreset> &p_preset, const String p_path, const Vector<SharedObject> &p_shared_objects); Error _write_or_error(const uint8_t *p_content, int p_len, String p_path); - static void _server_thread_poll(void *data); - public: virtual void get_preset_features(const Ref<EditorExportPreset> &p_preset, List<String> *r_features) const override; |