| commit | 26120ca18dd8c2567b0df5a533d52d53c4111bc2 | [log] [tgz] |
|---|---|---|
| author | Shawn O. Pearce <sop@google.com> | Tue Jun 16 11:49:10 2009 -0700 |
| committer | Shawn O. Pearce <sop@google.com> | Tue Jun 16 11:49:10 2009 -0700 |
| tree | 08168f9a38f9498fb8abb348204a5bb97dcf1e7c | |
| parent | 7da73d6f3ba579c67e58499b785dc4ac5beb9391 [diff] |
Don't crash if the ssh client is already dead If the SSH client terminated abnormally in the background (e.g. the server shutdown while we were doing a sync) then the pid won't exist. Instead of crashing, ignore it, the result we wanted (a non-orphaned ssh process) is already acheived. Signed-off-by: Shawn O. Pearce <sop@google.com>