5612b9225921f7e73f5bb388546ff6621aef93f4 - servertools/webtools.servertools - Git at Google

commit: 5612b9225921f7e73f5bb388546ff6621aef93f4
[log]
author: lisaacs <lisaacs>
Tue Aug 18 17:36:24 2009 +0000
committer: lisaacs <lisaacs>
Tue Aug 18 17:36:24 2009 +0000
tree: df72e14d0ff82b6b7054090a241207339c78e4a5
parent: 363ef91212bfd0ab28684c9fb143d5dee1298cc2 [diff]

[274861] Ping the configured Tomcat host name instead of hard coded "localhost"

plugins/org.eclipse.jst.server.tomcat.core/tomcatcore/org/eclipse/jst/server/tomcat/core/internal/TomcatServerBehaviour.java[diff]

1 file changed

tree: df72e14d0ff82b6b7054090a241207339c78e4a5