diff options
| author | geequlim <geequlim@gmail.com> | 2020-01-11 23:50:32 +0800 |
|---|---|---|
| committer | geequlim <geequlim@gmail.com> | 2020-01-11 23:50:32 +0800 |
| commit | d901d5993b084dbfc83f6246f2a512fffda20ffb (patch) | |
| tree | 6d48e26c1e5e539d285355b79660f8605f0db260 /modules/gdscript/language_server/gdscript_language_server.h | |
| parent | 02cd1442227127604549159d66b9bfc68a193dd3 (diff) | |
| download | redot-engine-d901d5993b084dbfc83f6246f2a512fffda20ffb.tar.gz | |
Allow enable/disable threading for LSP server
Restart LSP server when configurations change without restart the editor
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_server.h')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_language_server.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_server.h b/modules/gdscript/language_server/gdscript_language_server.h index 191b8bfa85..228d29bf42 100644 --- a/modules/gdscript/language_server/gdscript_language_server.h +++ b/modules/gdscript/language_server/gdscript_language_server.h @@ -41,7 +41,10 @@ class GDScriptLanguageServer : public EditorPlugin { GDScriptLanguageProtocol protocol; Thread *thread; - bool thread_exit; + bool thread_running; + bool started; + bool use_thread; + int port; static void thread_main(void *p_userdata); private: |