From d597eeebf65ed771c403ce2cc2d3a3689d9b3c3b Mon Sep 17 00:00:00 2001 From: Stephan Unverwerth Date: Sun, 18 Sep 2016 17:09:08 +0200 Subject: [PATCH] Fixed generating uri when parsing next file. --- src/LanguageServer.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/LanguageServer.php b/src/LanguageServer.php index 94712d5..1a1c53d 100644 --- a/src/LanguageServer.php +++ b/src/LanguageServer.php @@ -140,7 +140,7 @@ class LanguageServer extends \AdvancedJsonRpc\Dispatcher $processFile = function() use (&$fileList, &$processFile, &$rootPath){ if ($file = array_pop($fileList)) { - $uri = 'file://'.(substr($file, -1) == '/' || substr($file, -1) == '\\' ? '' : '/').str_replace('\\', '/', $file); + $uri = 'file://'.($file[0] == '/' || $file[0] == '\\' ? '' : '/').str_replace('\\', '/', $file); $numFiles = count($fileList); if (($numFiles % 100) == 0) {