Re: [PATCH] improved HTMLManagerServlet

2002-06-12 Thread Malcolm Edgar
Glenn Nielsen wrote: I installed this and took a look at it. Looking much better. :-) Here are some more suggestions for improvement. 1. Change the title to Tomcat Web Application Manager. done 2. Move the Message: table to just below the page title. done 3. Only enable the

[PATCH] improved HTMLManagerServlet

2002-05-23 Thread Malcolm Edgar
Hi all, Please see the proposed patch for HTMLManagerServlet. This provides an improved UI, memory and server reporting information, gc command, supports 4.1 manager install command and internationalization. This is almost a rewrite of HTMLManagerServlet, so the diff is not particularly

Re: [PATCH] improved HTMLManagerServlet

2002-05-23 Thread Malcolm Edgar
Glenn Nielsen wrote: I have a number of comments. First thanks for working on improving the HTMLManagerServlet. 1. GC should not be user initiated, it should be left to the JVM. In addition, when virtual hosting web sites, those who have permission to manage applications for a

Re: [PATCH] improved HTMLManagerServlet

2002-05-23 Thread Malcolm Edgar
Glenn Nielsen wrote: list.html wasn't attached. Please cut paste the HTML below. Their is a virus on this PC jumping on the list.html file stopping it from being sent. Regards Malcolm Edgar html head style table { width: 100%; }