# HG changeset patch # User Christian Wimmer # Date 1352509049 28800 # Node ID dc7cd6885f07050e8aedca42b4f05c30dedd1cfc # Parent 936408350d255d590d951af0e5c5e849d4ed290b Avoid NullPointerException diff -r 936408350d25 -r dc7cd6885f07 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java --- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java Fri Nov 09 16:56:23 2012 -0800 +++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/GraphPrinterDumpHandler.java Fri Nov 09 16:57:29 2012 -0800 @@ -204,6 +204,8 @@ for (int i = 0; i < previousInlineContext.size(); i++) { closeScope(); } - printer.close(); + if (printer != null) { + printer.close(); + } } }