In der Regel wird der Miniserver bei jedem Hochladen eines neuen Programms neu gestartet.
Will man den Miniserver "einfach so" neu starten, gibt es dafür einen REST Webservice Aufruf:
http://<miniserver>/dev/sps/restart
Im Webbrowser erscheint dann ein Anmeldedialog, bei dem man sich mit einem Administrator-Benutzer authentifizieren muss.
Die Authentifizierung kann auch direkt mitgegeben werden:
http://<user>:<pass>@<miniserver>/dev/sps/restart