[Bluej-discuss] restarting virtual machine

[Davin McCall]

Hi Ben,

There's no way of doing it directly.

You could (using the extensions API) insert a new class into the project 
which contained a static method which called System.exit(), and then 
invoke that method from your extension when you wanted to reset the VM. 
(And of course remove the class afterwards). It's messy but I can't 
think of any reason why it wouldn't work.

Davin


Ben Kaplan wrote:
> 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.
>
> ------------------------------------------------------------------------
> Yahoo! oneSearch: Finally, mobile search that gives answers 
> <http://us.rd.yahoo.com/evt=48252/*http://mobile.yahoo.com/mobileweb/onesearch?refer=1ONXIC>, 
> not web links.
> ------------------------------------------------------------------------
>
> _______________________________________________
> mailing list bluej-discuss at bluej.org
> To unsubscribe or change your preferences, go to
> http://lists.bluej.org/mailman/listinfo/bluej-discuss
>   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.bluej.org/pipermail/bluej-discuss/attachments/20070910/78afff1c/attachment.html