crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-10 10:25:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

oh, it will likely be this instead

Browse Source
This commit is contained in:
DubbleClick
2025-07-21 16:03:28 +07:00
parent b30f2bc193
commit 1f4a3e4b8f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/SPC/store/SourceManager.php
View File

@@ -94,6 +94,9 @@ class SourceManager
// if not, remove the source dir and extract again // if not, remove the source dir and extract again
logger()->notice("Source [{$source}] hash mismatch, removing old source dir and extracting again ..."); logger()->notice("Source [{$source}] hash mismatch, removing old source dir and extracting again ...");
if ($source === 'micro') {
return;
}
FileSystem::removeDir($check); FileSystem::removeDir($check);
$filename = LockFile::getLockFullPath($lock_content); $filename = LockFile::getLockFullPath($lock_content);
$move_path = LockFile::getExtractPath($lock_name, SOURCE_PATH . '/' . $source); $move_path = LockFile::getExtractPath($lock_name, SOURCE_PATH . '/' . $source);