danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-04 18:48:03 +01:00
Code Issues Projects Releases Wiki Activity

remove options to clear and boot cache

Browse Source
This commit is contained in:
Andrew Nagy 2023-03-02 18:57:27 +00:00
parent 24b6a97891
commit 221eecf2e3
1 changed files with 2 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/Psalm/Internal/Cli/LanguageServer.php
View File

@ -71,8 +71,6 @@ final class LanguageServer
]; ];
$valid_long_options = [ $valid_long_options = [
'clear-cache',
'clear-cache-on-boot',
'config:', 'config:',
'find-dead-code', 'find-dead-code',
'help', 'help',
@ -173,13 +171,6 @@ final class LanguageServer
--find-dead-code --find-dead-code
Look for dead code Look for dead code
--clear-cache
Clears all cache files that the language server uses for this specific project (exits after)
--clear-cache-on-boot
Clears all cache files that the language server uses for this specific project on boot
(does not exit)
--use-ini-defaults --use-ini-defaults
Use PHP-provided ini defaults for memory and error display Use PHP-provided ini defaults for memory and error display
@ -320,17 +311,8 @@ final class LanguageServer
$config->setServerMode(); $config->setServerMode();
if (isset($options['clear-cache']) || isset($options['clear-cache-on-boot'])) { //Theres no cache in LSP land
$cache_directory = $config->getCacheDirectory(); $config->cache_directory = null;
if ($cache_directory !== null) {
Config::removeCacheDirectory($cache_directory);
}
if (!isset($options['clear-cache-on-boot'])) {
echo 'Cache directory deleted' . PHP_EOL;
exit;
}
}
if (isset($options['use-baseline']) && is_string($options['use-baseline'])) { if (isset($options['use-baseline']) && is_string($options['use-baseline'])) {
$clientConfiguration->baseline = $options['use-baseline']; $clientConfiguration->baseline = $options['use-baseline'];