Re: RMI and java.rmi.server.hostname

[Tom Tromey]

>>>>> "Lorenz" == Lorenz Witte <address@hidden> writes:

Lorenz> Currently I meet the problem by modifying the static constructor of
Lorenz> gnu.java.rmi.server.UnicastConnectionManager, so that the static field
Lorenz> "localhost" is initialized with the value of the
Lorenz> java.rmi.server.hostname property

It looks like we have a few bugs in this area.  I found this page
informative:

    http://java.sun.com/j2se/1.4.2/docs/guide/rmi/javarmiproperties.html

Your patch looks like it would help, but it doesn't address all the
issues.  It seems reasonable to use it as an interim solution though.
It sounds like by default we're using 127.0.0.1 -- does this happen
with the JDK as well?

I filed a PR: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25754

I would have linked to your message but, weirdly, it isn't in the
list archives yet.

Tom