Revert "改名"

This reverts commit fdf58326
2022-01-14 11:39:52 +08:00
parent 7598bdbd63
commit 9782147a47
1 changed files with 2 additions and 0 deletions
@@ -211,11 +211,13 @@ class HotReload extends Command
 				Process::kill($pid, SIGUSR1);
 			}
 		} else {
+			$this->int = 1;
 			$this->stopServer();
 			$this->process = new Process(function (Process $process) {
 				$process->exec(PHP_BINARY, [APP_PATH . "kiri.php", "sw:server", "start"]);
 			});
 			$this->process->start();
+			$this->int = -1;
 		}
 	}