jbosstools/jbosstools-livereload — pull request #36 by xcoulon (2013-06-20 19:32:20+00:00)
Title: JBIDE-14914 - Add fallback for unknown server type

Implement proper support for Tomcat 6.x and Tomcat 7.x
Fallback: assume port is 8080 when server type is not explicitly supported
Removing all parts of code and tests where proxy would be disabled since this case is not supported anymore
(proxy is always enabled)