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 ???) :
Avec ce code, Jetty démarre bien et quand on quitte l'application il s'arrête proprement.
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(); }
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.
Partager