[Bluej-discuss] restarting virtual machine

[Ben Kaplan]

Is there any way for an extension to reset the virtual machine? The extension I'm working on (a coverage tool) won't update itself until the virtual machine finishes running. Right now, that means the users have to manually reset the virtual machine every time they want to check the coverage.




       
____________________________________________________________________________________
Boardwalk for $500? In 2007? Ha! Play Monopoly Here and Now (it's updated for today's economy) at Yahoo! Games.
http://get.games.yahoo.com/proddesc?gamekey=monopolyherenow  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.bluej.org/pipermail/bluej-discuss/attachments/20070906/f336cbd8/attachment.html