diff --git a/src/LanguageServer.php b/src/LanguageServer.php index 29e914a..86fdcb5 100644 --- a/src/LanguageServer.php +++ b/src/LanguageServer.php @@ -181,6 +181,10 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher } } + if ($fileNum % 1000 === 0) { + $this->saveCache(); + } + Loop\setTimeout($processFile, 0); } else { $duration = (int)(microtime(true) - $startTime);