equal
deleted
inserted
replaced
573 if (msg == null) { |
573 if (msg == null) { |
574 msg = e; |
574 msg = e; |
575 } |
575 } |
576 reportError("err.ioerror", className, msg); |
576 reportError("err.ioerror", className, msg); |
577 result = EXIT_ERROR; |
577 result = EXIT_ERROR; |
|
578 } catch (OutOfMemoryError e) { |
|
579 reportError("err.nomem"); |
|
580 result = EXIT_ERROR; |
578 } catch (Throwable t) { |
581 } catch (Throwable t) { |
579 StringWriter sw = new StringWriter(); |
582 StringWriter sw = new StringWriter(); |
580 PrintWriter pw = new PrintWriter(sw); |
583 PrintWriter pw = new PrintWriter(sw); |
581 t.printStackTrace(pw); |
584 t.printStackTrace(pw); |
582 pw.close(); |
585 pw.close(); |