jdk/src/share/bin/java.c
changeset 12550 482c64a6f825
parent 12047 320a714614e9
child 13411 224a28370893
--- a/jdk/src/share/bin/java.c	Tue Apr 24 21:06:16 2012 +0800
+++ b/jdk/src/share/bin/java.c	Tue Apr 24 10:37:01 2012 -0700
@@ -695,6 +695,13 @@
     char *def;
     const char *orig = s;
     static const char format[] = "-Djava.class.path=%s";
+    /*
+     * usually we should not get a null pointer, but there are cases where
+     * we might just get one, in which case we simply ignore it, and let the
+     * caller deal with it
+     */
+    if (s == NULL)
+        return;
     s = JLI_WildcardExpandClasspath(s);
     def = JLI_MemAlloc(sizeof(format)
                        - 2 /* strlen("%s") */