diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-05 11:00:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-05 11:00:51 +0200 |
| commit | 872af14e6f9232897aeb6349ef151687a1a3e00c (patch) | |
| tree | aef17787453e124059af3ac1e74bc77fd26228c1 /modules/gdscript/language_server/gdscript_language_protocol.cpp | |
| parent | 5a23ab61fae79cce576fe7ec60fd928d2bd27fca (diff) | |
| parent | 9f27a4838c8ab2fb269961803c204402f368216e (diff) | |
| download | redot-engine-872af14e6f9232897aeb6349ef151687a1a3e00c.tar.gz | |
Merge pull request #32544 from GodotExplorer/gdscript-lsp-show_native_symbol
Improvements for gdscript-lsp server
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_protocol.cpp')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_language_protocol.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_protocol.cpp b/modules/gdscript/language_server/gdscript_language_protocol.cpp index ce3de9bc3b..ae2aaf6aee 100644 --- a/modules/gdscript/language_server/gdscript_language_protocol.cpp +++ b/modules/gdscript/language_server/gdscript_language_protocol.cpp @@ -153,7 +153,13 @@ Error GDScriptLanguageProtocol::start(int p_port) { } void GDScriptLanguageProtocol::stop() { + const int *ptr = clients.next(NULL); + while (ptr) { + clients.get(*ptr)->close(); + ptr = clients.next(ptr); + } server->stop(); + clients.clear(); } void GDScriptLanguageProtocol::notify_all_clients(const String &p_method, const Variant &p_params) { |