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

Fix text document loader bug.

pull/375/head
Alan Li 2017-05-10 10:11:14 -04:00
parent e0446abd86
commit f87dbb9518
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

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

10
src/Server/TextDocument.php
View File

@ -265,7 +265,15 @@ class TextDocument
public function definition(TextDocumentIdentifier $textDocument, Position $position): Promise public function definition(TextDocumentIdentifier $textDocument, Position $position): Promise
{ {
return coroutine(function () use ($textDocument, $position) { 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); $node = $document->getNodeAtPosition($position);
if ($node === null) { if ($node === null) {
return []; return [];