about summary refs log tree commit diff
path: root/scripts/SSH.pm
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-10-11T11·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-10-11T11·45+0000
commitc362e4d718cb31e532a4e2d708d07a57bc3bdf55 (patch)
tree526362a5740a7f6858ccab4e2776b21a84ea2ac2 /scripts/SSH.pm
parent7d314b8c959ca5c3dda8aea9c74079f4be63e19e (diff)
* Move SSH.pm.
Diffstat (limited to 'scripts/SSH.pm')
-rw-r--r--scripts/SSH.pm52
1 files changed, 0 insertions, 52 deletions
diff --git a/scripts/SSH.pm b/scripts/SSH.pm
deleted file mode 100644
index 68f4a628b072..000000000000
--- a/scripts/SSH.pm
+++ /dev/null
@@ -1,52 +0,0 @@
-use strict;
-use File::Temp qw(tempdir);
-
-our @sshOpts = split ' ', ($ENV{"NIX_SSHOPTS"} or "");
-
-push @sshOpts, "-x";
-
-my $sshStarted = 0;
-my $sshHost;
-
-# Open a master SSH connection to `host', unless there already is a
-# running master connection (as determined by `-O check').
-sub openSSHConnection {
-    my ($host) = @_;
-    die if $sshStarted;
-    $sshHost = $host;
-    return 1 if system("ssh $sshHost @sshOpts -O check 2> /dev/null") == 0;
-
-    my $tmpDir = tempdir("nix-ssh.XXXXXX", CLEANUP => 1, TMPDIR => 1)
-        or die "cannot create a temporary directory";
-    
-    push @sshOpts, "-S", "$tmpDir/control";
-
-    # Start the master.  We can't use the `-f' flag (fork into
-    # background after establishing the connection) because then the
-    # child continues to run if we are killed.  So instead make SSH
-    # print "started" when it has established the connection, and wait
-    # until we see that.
-    open SSHPIPE, "ssh $sshHost @sshOpts -M -N -o LocalCommand='echo started' -o PermitLocalCommand=yes |" or die;
-
-    while (<SSHPIPE>) {
-        chomp;
-        if ($_ eq "started") {
-            $sshStarted = 1;
-            return 1;
-        }
-    }
-
-    return 0;
-}
-
-# Tell the master SSH client to exit.
-sub closeSSHConnection {
-    if ($sshStarted) {
-        system("ssh $sshHost @sshOpts -O exit 2> /dev/null") == 0
-            or warn "unable to stop SSH master: $?";
-    }
-}
-
-END { my $saved = $?; closeSSHConnection; $? = $saved; }
-
-return 1;