Closed GoogleCodeExporter closed 9 years ago
Thanks!
Fixed in a sense that it now runs, but I haven't tested if any output on stdout
would be communicated correctly.
Best wishes,
Andreas
Original comment by andreas....@gmail.com
on 21 Nov 2012 at 4:11
Original issue reported on code.google.com by
matthias...@googlemail.com
on 18 Oct 2012 at 4:58