Kill local operator process before starting new one

deliahu · deliahu · commit 749706bb8511 · 2019-07-07T21:29:00.000-07:00
diff --git a/Makefile b/Makefile
@@ -21,7 +21,7 @@ SHELL := /bin/bash
 # Cortex
 
 devstart:
-	@./dev/operator_local.sh || true
+	@kill $(shell pgrep -f rerun); ./dev/operator_local.sh || true
 
 killdev:
 	@kill $(shell pgrep -f rerun)
