1
0
Fork 0

fix: allow rootUri to be null

Fixes #684
pull/690/head
Felix Becker 2018-11-13 18:33:11 +01:00
parent 450116e2f3
commit 1da3328bc2
1 changed files with 1 additions and 1 deletions

View File

@ -167,7 +167,7 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
*/
public function initialize(ClientCapabilities $capabilities, string $rootPath = null, int $processId = null, string $rootUri = null): Promise
{
if ($rootPath === null) {
if ($rootPath === null && $rootUri !== null) {
$rootPath = uriToPath($rootUri);
}
return coroutine(function () use ($capabilities, $rootPath, $processId) {