[DrJava] DrJava Development Release

[Charles R. <cr...@ri...>]

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.