Le seul moyen d’arrêter correctement le serveur de webservices, est d’utiliser l’application Launcher REST Service Manager à partir du menu Démarrer.
Il faut cliquer sur “Quit Service” dans le menu Service :
