Branch: Tag:

2002-05-06

2002-05-06 15:11:45 by 0

Add _JAVA_OPTIONS (if user hasn't set it already) to increase JVM memory
partition.

Rev: server/etc/env.d/java.pike:1.12

79:    /* AIX */    if(file_stat(jrehome+"/bin/libjava.a"))    env->append("LIBPATH", jrehome+"/bin/:"+jrehome+"/bin/classic/" ); +  +  // Only add _JAVA_OPTIONS if user hasn't got it already +  if (!env->get("_JAVA_OPTIONS")) +  env->set("_JAVA_OPTIONS", "\"-Xmx256m\"");   }