diff --git a/backend/scripts/kill-repl.sh b/backend/scripts/kill-repl.sh
new file mode 100755
index 000000000..7832deb1c
--- /dev/null
+++ b/backend/scripts/kill-repl.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+set -x
+
+jcmd |grep "rebel" |sed -nE 's/^([0-9]+).*$/\1/p' | xargs kill -9