From 8117b499110883ffb701664820394f12d4c2d9d1 Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Tue, 24 Jan 2017 23:38:04 +0100 Subject: [PATCH] Fix workspace/symbols --- src/Server/Workspace.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Server/Workspace.php b/src/Server/Workspace.php index 5d9f130..5aae7cf 100644 --- a/src/Server/Workspace.php +++ b/src/Server/Workspace.php @@ -68,7 +68,7 @@ class Workspace { return coroutine(function () use ($query) { // Wait until indexing for definitions finished - if (!$this->index->isComplete()) { + if (!$this->index->isStaticComplete()) { yield waitForEvent($this->index, 'static-complete'); } $symbols = [];