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

Index files serially again (#157)

pull/162/head
Felix Becker 2016-11-17 22:20:37 +01:00 committed by GitHub
parent 6056f39d01
commit 32b01afa90
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/LanguageServer.php
View File

@ -179,24 +179,22 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
$startTime = microtime(true); $startTime = microtime(true);
yield Promise\all(array_map(function ($textDocument, $i) use ($count) { foreach ($textDocuments as $i => $textDocument) {
return coroutine(function () use ($textDocument, $i, $count) { // Give LS to the chance to handle requests while indexing
// Give LS to the chance to handle requests while indexing yield timeout();
yield timeout(); $this->client->window->logMessage(
MessageType::INFO,
"Parsing file $i/$count: {$textDocument->uri}"
);
try {
yield $this->project->loadDocument($textDocument->uri);
} catch (Exception $e) {
$this->client->window->logMessage( $this->client->window->logMessage(
MessageType::INFO, MessageType::ERROR,
"Parsing file $i/$count: {$textDocument->uri}" "Error parsing file {$textDocument->uri}: " . (string)$e
); );
try { }
yield $this->project->loadDocument($textDocument->uri); }
} catch (Exception $e) {
$this->client->window->logMessage(
MessageType::ERROR,
"Error parsing file {$textDocument->uri}: " . (string)$e
);
}
});
}, $textDocuments, array_keys($textDocuments)));
$duration = (int)(microtime(true) - $startTime); $duration = (int)(microtime(true) - $startTime);
$mem = (int)(memory_get_usage(true) / (1024 * 1024)); $mem = (int)(memory_get_usage(true) / (1024 * 1024));