diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-05-08 17:05:17 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-05-14 11:03:34 +0200 |
| commit | 2e250f0235b80a052ec14f1da35dd2df93d8327c (patch) | |
| tree | 1cde6fdc295f9f17911d9fc7b066a80afa99f12f /doc/_templates/layout.html | |
| parent | 031cdc38878686d7ae5532f3968e2b4d428ab7cd (diff) | |
| download | rumba-2e250f0235b80a052ec14f1da35dd2df93d8327c.tar.gz rumba-2e250f0235b80a052ec14f1da35dd2df93d8327c.zip | |
rumba: Reconnect SSH in case of SIGPIPE
This reconnects the SSH connection in case the other side unilaterally
closed the connection. This often happens with the exogeni testbed.
Diffstat (limited to 'doc/_templates/layout.html')
0 files changed, 0 insertions, 0 deletions