Add script for stopping a running nfsproxy

[bluesky.git] / microbench / setup / stop-proxy

diff --git a/microbench/setup/stop-proxy b/microbench/setup/stop-proxy
new file mode 100755 (executable)
index 0000000..4d506f8
--- /dev/null
+++ b/microbench/setup/stop-proxy
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+pkill -INT nfsproxy