1
0
Fork 0

Add size limit of 0.5MB for indexing

pull/80/head
Felix Becker 2016-10-13 23:27:00 +02:00
parent c479969758
commit 6ecdc23967
1 changed files with 6 additions and 2 deletions

View File

@ -153,9 +153,13 @@ class LanguageServer extends \AdvancedJsonRpc\Dispatcher
$uri = pathToUri($file); $uri = pathToUri($file);
$fileNum++; $fileNum++;
$shortName = substr($file, strlen($rootPath) + 1); $shortName = substr($file, strlen($rootPath) + 1);
$this->client->window->logMessage(MessageType::INFO, "Parsing file $fileNum/$numTotalFiles: $shortName.");
$this->project->loadDocument($uri); if (filesize($file) > 500000) {
$this->client->window->logMessage(MessageType::INFO, "Not parsing $shortName because it exceeds size limit of 0.5MB");
} else {
$this->client->window->logMessage(MessageType::INFO, "Parsing file $fileNum/$numTotalFiles: $shortName.");
$this->project->loadDocument($uri);
}
Loop\setTimeout($processFile, 0); Loop\setTimeout($processFile, 0);
} else { } else {