geoserver/geoserver — pull request #142 by tvernum (2013-02-06 05:02:42+00:00)
Title: Fixes to index.html

1) XHTML Transitional requires a `

` tag
2) Redirect to `web/` (instead of `web`) because web is actually a (virtual) directory, and this change will reduce the number of trips between client & server