Closed GoogleCodeExporter closed 9 years ago
I avoid this problem in a way that dispose and recreate the shell every time.
Original comment by kkhfi...@gmail.com
on 11 Nov 2014 at 8:48
Issue management is moved to Github
Original comment by laurent....@gmail.com
on 1 Jul 2015 at 9:06
Original issue reported on code.google.com by
kkhfi...@gmail.com
on 6 Nov 2014 at 5:09Attachments: