Merge branch 'master' of git+ssh://niniel.sysnet.ucsd.edu/home/mvrable/local/bluesky

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

diff --git a/microbench/setup/stop-proxy b/microbench/setup/stop-proxy
index 482a7e4..2e3582d 100755 (executable)
--- a/microbench/setup/stop-proxy
+++ b/microbench/setup/stop-proxy
@@ -14,4 +14,5 @@ if [ "$BLUESKY_TARGET" = "native" ]; then
     /etc/init.d/nfs-kernel-server stop
 else
     pkill -INT nfsproxy
+    pkill -TERM atsadc
 fi