Fix up stop_servers script.

diff --git a/hacks/stop_servers.sh b/hacks/stop_servers.sh
index b785ceaa0559623f1efcbaf6f98f0b80c746fe76..9dd20a7482f23031c097a526789f7f998a7d36b1 100644 (file)
--- a/hacks/stop_servers.sh
+++ b/hacks/stop_servers.sh
@@ -1,4 +1,8 @@
 #!/bin/bash
 
-dsh -m cs2-17 -m cs2-18 -m cs2-19 -m cs2-20 \
-    killall dcpomatic_server_cli
+m=""
+for n in "$@"; do
+  m="$m -m cs2-$n"
+done
+
+dsh $m "killall dcpomatic2_server_cli"