1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-30 11:43:15 +02:00

build-remote.pl: Properly close the SSH connection between attempts

This commit is contained in:
Eelco Dolstra 2013-05-10 02:38:05 +02:00
parent be0b9dda31
commit 3a0cc43ac8
2 changed files with 5 additions and 3 deletions

View file

@ -44,6 +44,7 @@ sub closeSSHConnection {
if ($sshStarted) {
system("ssh $sshHost @sshOpts -O exit 2> /dev/null") == 0
or warn "unable to stop SSH master: $?";
$sshStarted = 0;
}
}