domtool: deploy server and slave simultaneously on fritz

Was previously quietly failing during install because
/usr/local/bin/domtool-slave cannot be overwritten while it is
running.

diff --git a/deploy-domtool b/deploy-domtool
index b6038ae..2a244b3 100755 (executable)
--- a/deploy-domtool
+++ b/deploy-domtool
@@ -5,7 +5,7 @@
 HOSTS_SERVER="fritz"
 
 # todo: outpost (needs kerberos auth)
-HOSTS_SLAVE="fritz deleuze navajos bog hopper outpost" 
+HOSTS_SLAVE="deleuze navajos bog hopper outpost" 
 
 for master in $HOSTS_SERVER;
 do

diff --git a/deploy-domtool-on-host b/deploy-domtool-on-host
index b0ad1a3..c76fbd3 100755 (executable)
--- a/deploy-domtool-on-host
+++ b/deploy-domtool-on-host
@@ -26,7 +26,7 @@ fi
 
 if [ "$1" = "--server" ]; then
     echo "Installing Server"
-    sudo make install_server
+    sudo make install_serverslave
     domtool-doc -basis -out /afs/hcoop.net/user/h/hc/hcoop/public_html/domtool
 fi