# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1234282321 -3600
# Node ID 66bceed20048fcd26ac32b6fab868f3de4c40ea6
# Parent  a4d38d47ddc41abb42eb9b054e689090c4c583a0
Fix: NullPointer access.

diff -r a4d38d47ddc4 -r 66bceed20048 dwtx/jface/util/Policy.d
--- a/dwtx/jface/util/Policy.d	Tue Feb 03 16:08:10 2009 +0100
+++ b/dwtx/jface/util/Policy.d	Tue Feb 10 17:12:01 2009 +0100
@@ -85,8 +85,10 @@
                 if (status.getException() !is null) {
                     auto e = status.getException();
                     Stderr.formatln( "Exception of type {} in {}({}): {}", e.classinfo.name, e.file, e.line, e.msg );
-                    foreach( msg; e.info ){
-                        Stderr.formatln( "    trc: {}", msg );
+                    if( e.info !is null ){
+                        foreach( msg; e.info ){
+                            Stderr.formatln( "    trc: {}", msg );
+                        }
                     }
 //                     status.getException().printStackTrace();
                 }