[GitHub] tomcat issue #134: Display generate date when showing every message in Html ...

2018-11-20 Thread ljader
Github user ljader commented on the issue: https://github.com/apache/tomcat/pull/134 When it comes to checksuming the response of Html Manager, recently there was a Pull Request which added 2 nbsp's to the produced Html - #130 If you decide to not proceed with this c

[GitHub] tomcat issue #134: Display generate date when showing every message in Html ...

2018-11-19 Thread ljader
Github user ljader commented on the issue: https://github.com/apache/tomcat/pull/134 Thank you all for the comments - could you help me with getting them right? 1. How I can get the "Date" header without reloading the page when the DevTools are **closed** (

[GitHub] tomcat pull request #134: Display generate date when showing every message i...

2018-11-18 Thread ljader
GitHub user ljader opened a pull request: https://github.com/apache/tomcat/pull/134 Display generate date when showing every message in Html Manager This additions shows sample message in following format: ``` OK - Stopped application at context path [/app

[GitHub] tomcat pull request #133: Update the ECJ dependency to 4.9 in ide-support fi...

2018-11-17 Thread ljader
GitHub user ljader opened a pull request: https://github.com/apache/tomcat/pull/133 Update the ECJ dependency to 4.9 in ide-support files The ECJ dependency was bumped in revision a2c399c3 . You can merge this pull request into a Git repository by running: $ git pull https

[GitHub] tomcat pull request #130: Add two spaces (nbsp) in front of the Undeploy but...

2018-10-31 Thread ljader
GitHub user ljader opened a pull request: https://github.com/apache/tomcat/pull/130 Add two spaces (nbsp) in front of the Undeploy button Since there is no JavaScript in the Manager HTML, I decided to visually separate the Undeploy button from the rest of the buttons