Move manual hosts definition to configuration file manual_hosts.conf

2019-06-26 12:43:54 +02:00
parent c31323a439
commit 6e83231078
4 changed files with 20 additions and 2 deletions
--- a/hosts/scripts/main_part.include
+++ b/hosts/scripts/main_part.include
@ -391,5 +391,7 @@ else
 fi

 if $_via_ssh_tunnel ; then
-   kill $tunnel_pid
+   if [[ -n "$tunnel_pid" ]]; then
+      kill "$tunnel_pid"
+   fi
 fi