Miniserver neu starten ohne Upload der Config

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/sys/reboot}

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/sys/reboot}

<miniserver> steht dabei entweder für die IP Adresse, also z.B. 192.168.178.100 oder den Hostnamen deines Miniservers, also z.b. lxl1234
<user> steht für den Usernamen, also z.B. admin 
<pass> steht für das passwort, also z.B. passwort