jdk/src/share/bin/java.h
changeset 7997 78536cac0841
parent 6005 f9e6c98d4ee3
child 9035 1255eb81cc2f
--- a/jdk/src/share/bin/java.h	Thu Jan 20 22:17:31 2011 -0800
+++ b/jdk/src/share/bin/java.h	Fri Jan 21 09:43:57 2011 -0800
@@ -153,7 +153,7 @@
 
 /* sun.java.launcher.* platform properties. */
 void SetJavaLauncherPlatformProps(void);
-void SetJavaCommandLineProp(char* classname, char* jarfile, int argc, char** argv);
+void SetJavaCommandLineProp(char* what, int argc, char** argv);
 void SetJavaLauncherProp(void);
 
 /*
@@ -178,8 +178,9 @@
 
 jboolean ServerClassMachine();
 
-static int ContinueInNewThread(InvocationFunctions* ifn, int argc, char** argv,
-                        char* jarfile, char* classname, int ret);
+static int ContinueInNewThread(InvocationFunctions* ifn,
+                               int argc, char** argv,
+                               int mode, char *what, int ret);
 
 /*
  * Initialize platform specific settings