K 10 svn:author V 3 phk K 8 svn:date V 27 2012-01-28T20:45:47.787461Z K 7 svn:log V 276 Make tip exit if the device disappears, for instance when unplugging or resetting USB serial devices. Somebody[tm] should rewrite tip(1) to use two thread instead of two processes or maybe even use that new-fangled "select(2)" or positively futuristic "poll(2)" system call. END