From d11def77369cfa192961ec6d5d7535c00d68b32b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=90=91=E6=9E=97?= Date: Wed, 8 Jun 2022 15:33:03 +0800 Subject: [PATCH] modify plugin name --- ServerCommand.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ServerCommand.php b/ServerCommand.php index c22e2e2..a667194 100644 --- a/ServerCommand.php +++ b/ServerCommand.php @@ -52,7 +52,7 @@ class ServerCommand extends Command public function execute(InputInterface $input, OutputInterface $output): int { $manager = Kiri::app()->getServer(); - $manager->setDaemon((int)!is_null($input->getOption('daemon'))); + $manager->setDaemon((int)!is_null($input->hasOption('daemon'))); $this->scan_file();