1
0
mirror of https://github.com/danog/psalm.git synced 2024-11-27 04:45:20 +01:00

Merge pull request #6055 from tm1000/patch-1

didChangeWatchedFiles should continue not return
This commit is contained in:
Bruce Weirdan 2021-07-07 06:03:39 +03:00 committed by GitHub
commit d505a692e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -53,15 +53,15 @@ class Workspace
if ($change->type === FileChangeType::DELETED) {
$this->codebase->invalidateInformationForFile($file_path);
return;
continue;
}
if (!$this->codebase->config->isInProjectDirs($file_path)) {
return;
continue;
}
if ($this->onchange_line_limit === 0) {
return;
continue;
}
//If the file is currently open then dont analyse it because its tracked by the client