Bonjour,

J'utilise Jetty comme serveur http embarqué à mon application. Pour démarrer jetty j'ai bêtement suivi la doc (je dis bêtement, car j'ai pas tout compris : à quoi sers le server.join() de la fin par exemple ???) :

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
Server HTTPServer = new Server(7800);
HTTPServer.setStopAtShutdown(true);
 
Context context = new Context(HTTPServer,"/",Context.SESSIONS);
context.addServlet(new ServletHolder(new HTTPServlet(db)), "/monappli");
 
 
try {
	HTTPServer.start();
	HTTPServer.join();
} catch (Exception e2) {
	e2.printStackTrace();
}
Avec ce code, Jetty démarre bien et quand on quitte l'application il s'arrête proprement.

Maintenant je voudrais savoir comment faire pour donner la possibilité à l'utilisateur de changer le port d'écoute. Faut-il simplement redémarrer jetty ? Créer une nouvelle instance pour que le nouveau port soit pris en compte ? J'ai pas vu de setPort() dans la doc, donc comment faire ?

J'avoue que votre aide me sera grandement utile, parce que là je ne vois pas trop comment m'en sortir.

Merci d'avance.