Embed fonts in generated plots

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

diff --git a/microbench/setup/stop-proxy b/microbench/setup/stop-proxy
index 4d506f8..2e3582d 100755 (executable)
--- a/microbench/setup/stop-proxy
+++ b/microbench/setup/stop-proxy
@@ -1,3 +1,18 @@
 #!/bin/bash
 
-pkill -INT nfsproxy
+export BLUESKY_TARGET=s3
+# Export any environment variables specified on the command line
+for e in "$@"; do
+    echo "$e" 1>&2
+    if echo "$e" | grep = >/dev/null; then
+        eval "$e"
+        export ${e%=*}
+    fi
+done
+
+if [ "$BLUESKY_TARGET" = "native" ]; then
+    /etc/init.d/nfs-kernel-server stop
+else
+    pkill -INT nfsproxy
+    pkill -TERM atsadc
+fi