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

Fixed generating uri when parsing next file.

pull/31/head
Stephan Unverwerth 2016-09-18 17:09:08 +02:00
parent 1efb09ba86
commit d597eeebf6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/LanguageServer.php
View File

@ -140,7 +140,7 @@ class LanguageServer extends \AdvancedJsonRpc\Dispatcher
$processFile = function() use (&$fileList, &$processFile, &$rootPath){ $processFile = function() use (&$fileList, &$processFile, &$rootPath){
if ($file = array_pop($fileList)) { 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); $numFiles = count($fileList);
if (($numFiles % 100) == 0) { if (($numFiles % 100) == 0) {