From d97afa0e6d6f0c898e497b7d23d6c7720ffd0e7a Mon Sep 17 00:00:00 2001
From: Andrey Antukh <niwi@niwi.nz>
Date: Mon, 5 Dec 2022 15:17:01 +0100
Subject: [PATCH] :paperclip: Add helper/devenv script for kill nonresponsive
 repl

---
 backend/scripts/kill-repl.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 backend/scripts/kill-repl.sh

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