session recovery on change of IP

[Ed Avis]

<http://www.cs.wisc.edu/~zandy/rocks/> is a library which provides
'reliable sockets' which stay open through a change of IP
address.  You need to modify both the ssh client and server to use
this library.

However I can strongly recommend the suggestion others have made: use
screen(1).  Every time you log in, say

% exec screen -e '^Z^Z' -D -R

This will make a new session, or reconnect to an existing session.  
Press C-z c to make a new virtual terminal, then C-z 0, C-z 1, C-z 2
etc to switch between terminals.  C-z d to disconnect.  But this is
getting off topic.

-- 
Ed Avis <ed at membled.com>