chiark / gitweb /
topicedit: add a timeout; better error handling master
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Apr 2014 16:17:01 +0000 (17:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Apr 2014 16:17:01 +0000 (17:17 +0100)
commit0372b3250dfa90d53f30e6df1916f2969b78df16
treea65abe4a9a007660ed3b3fc4f9d4ddc0e502dd8b
parenta0dceacf242e5e79e5cd6b3d6b2646cb7886d308
topicedit: add a timeout; better error handling
topicedit.tcl