diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-10 17:11:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 17:11:53 +0200 |
| commit | f4afaecdd1220395acd5fe1e36368ba9bb146865 (patch) | |
| tree | c93db56282d3ecca1abf724825e0abb7e60060db /modules/gdscript/language_server/gdscript_language_server.cpp | |
| parent | 01481127301b7defadb69cd712f82ad7f840340e (diff) | |
| parent | 7f49c5dd4212c9f9673d1b7007d0d4805b38ce40 (diff) | |
Merge pull request #32714 from Calinou/gdscript-lsp-decrease-polling-frequency
Decrease polling frequency to 20 Hz in the GDScript language server
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_server.cpp')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_language_server.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_server.cpp b/modules/gdscript/language_server/gdscript_language_server.cpp index 62c212a2bd..8d58b99e02 100644 --- a/modules/gdscript/language_server/gdscript_language_server.cpp +++ b/modules/gdscript/language_server/gdscript_language_server.cpp @@ -56,8 +56,9 @@ void GDScriptLanguageServer::_notification(int p_what) { void GDScriptLanguageServer::thread_main(void *p_userdata) { GDScriptLanguageServer *self = static_cast<GDScriptLanguageServer *>(p_userdata); while (!self->thread_exit) { + // Poll 20 times per second self->protocol.poll(); - OS::get_singleton()->delay_usec(10); + OS::get_singleton()->delay_usec(50000); } } |