icedream
/
php-language-server
1
0
Fork 0
Code Releases Activity

Save cache every 1000th file

pull/82/head
Felix Becker 2016-10-14 01:37:37 +02:00
parent 69b0a5b0cd
commit f2884c0e82
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/LanguageServer.php
View File

@ -181,6 +181,10 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
} }
} }
if ($fileNum % 1000 === 0) {
$this->saveCache();
}
Loop\setTimeout($processFile, 0); Loop\setTimeout($processFile, 0);
} else { } else {
$duration = (int)(microtime(true) - $startTime); $duration = (int)(microtime(true) - $startTime);