Johannes Zellner 2420fef6b1 Reconnect the terminal on disconnection ...

This can happen if the app crashes or restarts

2017-08-18 11:24:55 -07:00

..

src

Reconnect the terminal on disconnection

2017-08-18 11:24:55 -07:00