Branch: Tag:

2001-01-17

2001-01-17 22:37:36 by Marcus Comstedt <marcus@mc.pp.se>

Look in some subdirectories under /usr/java as well.

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

17:    "'s:/lib/rt.jar .*$::' -e p -e q")||"")-"\n";    if(check_jre_dir(dir))    return dir; -  foreach(`+(@Array.map(({"/usr/local", "/usr"}), +  foreach(`+(@Array.map(({"/usr/local", "/usr", "/usr/java"}),    lambda(string s) {    return Array.map(Array.map(({"jre*","jdk*","java*"}),    glob,