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

Fix text document loader bug.

pull/483/head
Alan Li 2017-05-10 10:11:14 -04:00
parent edc69a3326
commit e63256b438
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/PhpDocumentLoader.php
View File

@ -20,7 +20,7 @@ class PhpDocumentLoader
*
* @var PhpDocument
*/
private $documents = [];
public $documents = [];
/**
* @var ContentRetriever

10
src/Server/TextDocument.php
View File

@ -261,7 +261,15 @@ class TextDocument
public function definition(TextDocumentIdentifier $textDocument, Position $position): Promise
{
return coroutine(function () use ($textDocument, $position) {
$document = yield $this->documentLoader->getOrLoad($textDocument->uri);
$documentLoader = $this->documentLoader;//->getOrLoad($textDocument->uri);
$document = null;
if (isset($documentLoader->documents[$textDocument->uri])) {
$document = $documentLoader->documents[$textDocument->uri];
} else {
$document = yield $documentLoader->load($textDocument->uri);
$documentLoader->documents[$textDocument->uri] = $document;
}
$node = $document->getNodeAtPosition($position);
if ($node === null) {
return [];