Jak ustawić ścieżkę dla głównego foo.war na be / foo / bar zamiast / foo? - java, tomcat, servlets, web.xml

Mam projekt, który kompiluje się do foo.war. Kiedy upuszczę go do Tomcat, strona indeksu jest dostępna na localhost: 8080 / foo / z różnymi serwletami i zasobami jako podkatalogami / foo /

Chcę zmienić część / foo / część w / foo / bar / bez konieczności modyfikacji każdego serwletu i przenieść wszystkie moje statyczne zasoby do folderu / bar /. czy to możliwe?

Mogę kontrolować plik web.xml, ale nie końcowy serwer Tomcat, na którym będzie on hostowany. ja myśleć istnieje sposób, aby to zrobić w pliku web.xml, ale nie mogę się dowiedzieć, jak to zrobić.

Odpowiedzi:

Najłatwiejszym (i zalecanym) sposobem jest zmiana nazwy foo.war → foo#bar.war. To wszystko, co potrzebne.
Dokumentacja (Tomcat 7)

Nie mówisz, jakiej wersji Tomcat używasz. Zakładam, że jest to jakaś nowoczesna wersja, która nie jest starsza niż 3 lata.