fall back to SIGKILL

facebookarchive · May 18, 2015 · 7bf2918 · 7bf2918
1 parent 6e207b2
commit 7bf2918
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/base/Process.php b/base/Process.php
@@ -113,6 +113,12 @@ public function stop(): void {
     if ($pid !== null) {
       posix_kill($pid, SIGTERM);
     }
+    for ($i = 0; $this->isRunning() && $i < 8; ++$i) {
+      self::sleepSeconds(0.25);
+    }
+    if ($this->isRunning()) {
+      posix_kill($pid, SIGKILL);
+    }
   }
 
   protected function getPidFilePath(): ?string {