various fixes and improvements

[distro-setup] / switch-mail-host

diff --git a/switch-mail-host b/switch-mail-host
index 9b4872db4b189c56245a3d31746976e027e855b9..8d4072b72e1dc29b823a535db168f5a11c41b4d5 100755 (executable)
--- a/switch-mail-host
+++ b/switch-mail-host
@@ -125,8 +125,15 @@ for ((i=0; i<10; i++)); do
     sleep 1
     if [[ i == 9 ]]; then
         warn="WARNING!!! failed to kill arbtt-capture"
-        fi
-    done
+    fi
+done
+for ((i=0; i<10; i++)); do
+    $new_shell killall arbtt-capture || break
+    sleep 1
+    if [[ i == 9 ]]; then
+        warn="WARNING!!! failed to kill arbtt-capture"
+    fi
+done
 
 
 $new_shell bash -s <<'EOF'