Colin Walters 42e3a93c20 More gracefully handle a situation where starting shell failed
If start_shell() threw an exception before, we'd overwrite it with
an exception in the finally() clause.  Handle this and just print a message
and let the exception propagate.
2009-09-09 15:49:31 -04:00
..
2009-08-14 09:14:34 -04:00
2009-09-08 14:31:43 -04:00
2009-05-04 13:01:03 -04:00
2009-07-06 11:55:17 -04:00
2009-07-06 11:55:17 -04:00
2009-09-08 14:31:43 -04:00
2009-09-08 14:31:43 -04:00
2009-08-06 16:46:55 -04:00
2009-08-06 16:46:55 -04:00
2008-11-07 18:42:23 +00:00
2009-05-04 13:01:03 -04:00
2009-05-04 13:01:03 -04:00