diff options
-rw-r--r-- | core/Command/Preview/Repair.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/Command/Preview/Repair.php b/core/Command/Preview/Repair.php index 650f80f99d0..0dbb471cce0 100644 --- a/core/Command/Preview/Repair.php +++ b/core/Command/Preview/Repair.php @@ -42,6 +42,8 @@ use Symfony\Component\Console\Input\InputOption; use Symfony\Component\Console\Output\OutputInterface; use Symfony\Component\Console\Question\ConfirmationQuestion; +use function pcntl_signal; + class Repair extends Command { protected IConfig $config; private IRootFolder $rootFolder; |