Revert "改名"

This reverts commit fdf58326
2022-01-13 18:48:13 +08:00
parent 7f6a0c01e0
commit ffeef3ff4b
1 changed files with 0 additions and 8 deletions
@@ -210,19 +210,11 @@ class HotReload extends Command
 				Process::kill($pid, SIGUSR1);
 			}
 		} else {
-			if ($this->int == 1) {
-				return;
-			}
-			$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();
-
-			var_dump(1);
-
-			$this->int = -1;
 		}
 	}