|
@@ -49,6 +49,7 @@ GDScriptLanguageServer::GDScriptLanguageServer() {
|
|
|
_EDITOR_DEF("network/language_server/enable_smart_resolve", true);
|
|
|
_EDITOR_DEF("network/language_server/show_native_symbols_in_editor", false);
|
|
|
_EDITOR_DEF("network/language_server/use_thread", use_thread);
|
|
|
+ _EDITOR_DEF("network/language_server/poll_limit_usec", poll_limit_usec);
|
|
|
}
|
|
|
|
|
|
void GDScriptLanguageServer::_notification(int p_what) {
|
|
@@ -61,14 +62,15 @@ void GDScriptLanguageServer::_notification(int p_what) {
|
|
|
break;
|
|
|
case NOTIFICATION_INTERNAL_PROCESS: {
|
|
|
if (started && !use_thread) {
|
|
|
- protocol.poll();
|
|
|
+ protocol.poll(poll_limit_usec);
|
|
|
}
|
|
|
} break;
|
|
|
case EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED: {
|
|
|
String host = String(_EDITOR_GET("network/language_server/remote_host"));
|
|
|
int port = (GDScriptLanguageServer::port_override > -1) ? GDScriptLanguageServer::port_override : (int)_EDITOR_GET("network/language_server/remote_port");
|
|
|
bool use_thread = (bool)_EDITOR_GET("network/language_server/use_thread");
|
|
|
- if (host != this->host || port != this->port || use_thread != this->use_thread) {
|
|
|
+ int remote_poll_limit = (int)_EDITOR_GET("network/language_server/poll_limit_usec");
|
|
|
+ if (host != this->host || port != this->port || use_thread != this->use_thread || remote_poll_limit != poll_limit_usec) {
|
|
|
this->stop();
|
|
|
this->start();
|
|
|
}
|
|
@@ -80,7 +82,7 @@ void GDScriptLanguageServer::thread_main(void *p_userdata) {
|
|
|
GDScriptLanguageServer *self = static_cast<GDScriptLanguageServer *>(p_userdata);
|
|
|
while (self->thread_running) {
|
|
|
// Poll 20 times per second
|
|
|
- self->protocol.poll();
|
|
|
+ self->protocol.poll(self->poll_limit_usec);
|
|
|
OS::get_singleton()->delay_usec(50000);
|
|
|
}
|
|
|
}
|
|
@@ -89,6 +91,7 @@ void GDScriptLanguageServer::start() {
|
|
|
host = String(_EDITOR_GET("network/language_server/remote_host"));
|
|
|
port = (GDScriptLanguageServer::port_override > -1) ? GDScriptLanguageServer::port_override : (int)_EDITOR_GET("network/language_server/remote_port");
|
|
|
use_thread = (bool)_EDITOR_GET("network/language_server/use_thread");
|
|
|
+ poll_limit_usec = (int)_EDITOR_GET("network/language_server/poll_limit_usec");
|
|
|
if (protocol.start(port, IP_Address(host)) == OK) {
|
|
|
EditorNode::get_log()->add_message("--- GDScript language server started on port " + itos(port) + " ---", EditorLog::MSG_TYPE_EDITOR);
|
|
|
if (use_thread) {
|