gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Adam R. B. Jack" <>
Subject Re: Last public Gump runs used Kaffe
Date Thu, 31 Mar 2005 18:16:20 GMT
> * why does Gump use /usr/bin/java instead of $JAVA_HOME/bin/java at all?

Why? Likely 'cos way back when I wrote this, I didn't know that (cross
platforms) this was a standard location. As such , I kinda relied upon the

    self.javaCommand = 'java'

That said, we do have the ability to set this in (say) the (if
hacking the Python isn't a preferred idea.)

    # JAVA_CMD can be set (perhaps for JRE verse JDK)
    if os.environ.has_key('JAVA_CMD'):

        self.javaCommand = os.environ['JAVA_CMD']

        self.addInfo('JAVA_CMD environmental variable setting java command
to ' + self.javaCommand )



To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message