Luca 9cf6baaa33 Avoid Jetty's default directory listing settings in web.xml
The directory listing servlet seems not be needed for the default
settings. This change explicitly sets it off in web.xml.
Credis to @jobar for the original change made for Wikimedia.

Git Pull Request #61

Signed-off-by: Martin Stockhammer <martin_s@apache.org>
2021-01-17 18:22:50 +01:00
..
2012-10-28 07:23:56 +00:00