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

Undo directory check in ClientFilesFinder 

Upon further inspection, it seems that the workspace should never contain a directory, so it should be safe.
pull/401/head
Nicholas Narsing 2017-06-11 17:12:27 -04:00
parent 93b5f5d209
commit ff2191f765
No known key found for this signature in database
GPG Key ID: 6C867A2AC16B645A
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/FilesFinder/ClientFilesFinder.php
View File

@ -39,8 +39,7 @@ class ClientFilesFinder implements FilesFinder
$uris = []; $uris = [];
foreach ($textDocuments as $textDocument) { foreach ($textDocuments as $textDocument) {
$path = Uri\parse($textDocument->uri)['path']; $path = Uri\parse($textDocument->uri)['path'];
// Also exclude any directories that also match the glob pattern if (Glob::match($path, $glob)) {
if (Glob::match($path, $glob) && !is_dir($path)) {
$uris[] = $textDocument->uri; $uris[] = $textDocument->uri;
} }
} }