Make pm dev-start a little less susceptible to stray pid files

ProseMirror · Sep 26, 2018 · fbdf3b0 · fbdf3b0
1 parent fd19fe0
commit fbdf3b0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bin/pm.js b/bin/pm.js
@@ -310,6 +310,10 @@ function devPID() {
 
 function devStart() {
   let pid = devPID()
+  if (pid != null) {
+    try { run("ps", ["-p", String(pid)]) }
+    catch (_) { pid = null }
+  }
   if (pid != null) {
     console.log("Dev server already running at pid " + pid)
     return