Patch JediTerm to allow the application to shutdown cleanly.

This commit is contained in:
Chris Rankin 2017-01-26 13:24:46 +00:00
parent 0cd2bddff2
commit 0b40d732d4