From 0717a72b4355de041aef3520016a2936195a6871 Mon Sep 17 00:00:00 2001
From: root <root@c09-45.sysnet.ucsd.edu>
Date: Wed, 9 Feb 2011 16:27:53 -0800
Subject: [PATCH] Add script for stopping a running nfsproxy

---
 microbench/setup/stop-proxy | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 microbench/setup/stop-proxy

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