I've just released a new development release of DrJava which includes a
few fixes in the RMI code. Specifically, laptop users should now be
able to move between different networks (or put the laptop to sleep)
without encountering any problems with the Interactions pane. Please
test this if you can.
For those interested, the problem was that Java's RMI was including the
current IP address in exported objects, so MainJVM and InterpreterJVM
couldn't find each other if the IP address changed. We were able to get
around this by setting the "java.rmi.server.hostname" System property to
"127.0.0.1", which is always a valid IP address for the local machine.
Charlie
ps-- Note to Comp 312:
Development releases are generally intended as a preview of new features
and a chance to test new features and bug fixes on different platforms.
After a few of these releases have been shown to behave well, we
release a "beta" release with the new features and then a stable release
for the home page. In general, development releases are the most
frequent, while stable releases come out about once a month.
|
