diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-11 20:01:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-11 20:01:35 +0100 |
| commit | f118bd6861b3a05cae3994d7cf4f5f07b0ffb006 (patch) | |
| tree | 5165c75333a5c59e1860c0e6149b4bc796484741 /modules/gdscript/language_server/gdscript_language_server.h | |
| parent | 02cd1442227127604549159d66b9bfc68a193dd3 (diff) | |
| parent | e804eebfe52253f934ccf210a66f6c2b9b449c5d (diff) | |
Merge pull request #35015 from GodotExplorer/lsp-configs
Improvements for GDScript LSP server
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: |