Questions marquées «tomcat7»

13
À quoi sert le port de redirection dans Tomcat?

Il est difficile de donner un sens à la documentation de Tomcat et en consultant server.xml, vous trouverez une multitude de ports qui peuvent être difficiles à comprendre car ils ne sont pas vraiment expliqués correctement ou de manière approfondie dans la documentation. Par exemple, cette ligne...

9
Définir JENKINS_HOME dans Tomcat7?

J'essaie de configurer Jenkins dans Tomcat7 sur Ubuntu. J'ai installé Tomcat7 et déployé jenkins.war, et je vois maintenant la page d'accueil de Jenkins sur http://myhost:8080/jenkins, mais il tente de créer le répertoire Jenkins sur /usr/share/tomcat7/.jenkins, ce qu'il ne peut pas pour des...