An attempt at making irk clean up after itself.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 26 Nov 2013 23:32:42 +0000 (18:32 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 26 Nov 2013 23:32:42 +0000 (18:32 -0500)
commit96e8dd539ff5316d25c24ece9d5934583bf7d41c
treeebcba05daf6637d39e89d9a51d015e8d60cc4def
parent76911f3d38ed0cff93fd4e4ec81249f30d7ef5b1
An attempt at making irk clean up after itself.

Perplexingly, the terminate() method call doesn't.
irk