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

Report diagnostics during indexing

pull/214/head
Felix Becker 2016-12-13 00:44:56 +01:00
parent 9b364a5a13
commit 4cdd2eff9a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/LanguageServer.php
View File

@ -251,7 +251,10 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
"Parsing file $i/$count: {$uri}" "Parsing file $i/$count: {$uri}"
); );
try { try {
yield $this->documentLoader->load($uri); $document = yield $this->documentLoader->load($uri);
if (!$document->isVendored()) {
$this->client->textDocument->publishDiagnostics($uri, $document->getDiagnostics());
}
} catch (ContentTooLargeException $e) { } catch (ContentTooLargeException $e) {
$this->client->window->logMessage( $this->client->window->logMessage(
MessageType::INFO, MessageType::INFO,