2007-03-02

Restart Z3 with a single click

Put a bookmark into your browser's toolbar that points to http://localhost:8080/++etc++process/servercontrol.html?restart=1
That simple it is.
Posted by Adam

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)