mirror of
https://github.com/danog/psalm.git
synced 2024-11-27 12:55:26 +01:00
Fixes # 6011, move placement of version call
This commit is contained in:
parent
8c137527d4
commit
4d91c6ecc5
@ -182,11 +182,6 @@ HELP;
|
||||
exit;
|
||||
}
|
||||
|
||||
if (array_key_exists('v', $options)) {
|
||||
echo 'Psalm ' . PSALM_VERSION . PHP_EOL;
|
||||
exit;
|
||||
}
|
||||
|
||||
if (getcwd() === false) {
|
||||
fwrite(STDERR, 'Cannot get current working directory' . PHP_EOL);
|
||||
exit(1);
|
||||
@ -222,6 +217,11 @@ HELP;
|
||||
}
|
||||
);
|
||||
|
||||
if (array_key_exists('v', $options)) {
|
||||
echo 'Psalm ' . PSALM_VERSION . PHP_EOL;
|
||||
exit;
|
||||
}
|
||||
|
||||
$ini_handler = new \Psalm\Internal\Fork\PsalmRestarter('PSALM');
|
||||
|
||||
$ini_handler->disableExtension('grpc');
|
||||
|
Loading…
Reference in New Issue
Block a user