[ jEdit-devel ] TomcatSwitch 0.2

[Amedeo F. <afa...@li...>]

Hello,

I have just uploaded a new version (0.2) of the Tomcat Switch plugin at
http://web.tiscali.it/farello/ts/intro.html. It is (finally) updated for JEdit
3.2.2 and the Console 3.0 APIs. I have also added a "status" and a "restart"
command.

Amedeo