Closed GoogleCodeExporter closed 8 years ago
I submitted a new issue about this, but apparently it was already an issue.
I'll
close the duplicate. Assigning this to Mark Lee because he's good with the
glue.
Original comment by brian.ta...@gmail.com
on 13 Oct 2007 at 5:52
The second instance now exits gracefully.
Original comment by markp...@gmail.com
on 14 Oct 2007 at 7:35
Original issue reported on code.google.com by
andrewbutcher@gmail.com
on 31 Jul 2007 at 7:49