Closed GoogleCodeExporter closed 9 years ago
This tool doesn't end its output with The End, so you don't know if it ended or not.
Original issue reported on code.google.com by baron.schwartz on 12 Mar 2011 at 7:57
baron.schwartz
This issue was closed by revision r393.
Original comment by baron.schwartz on 12 Mar 2011 at 7:58
Original issue reported on code.google.com by
baron.schwartz
on 12 Mar 2011 at 7:57