Panel: unticking 'web panel enabled' + restart panel really turns it off (2.9.5)

The restart used to refuse when the panel was disabled, so it stayed
reachable. Now it stops the panel (also the relay on the game port);
'panel on|off' in the console turns it on/off and saves server.json.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Panel/app.js

@@ -323,6 +323,11 @@ async function restartPanel() {
   if (!ok) return;
   const r = await act(api("POST", "server/restart-panel"));
   if (!r) return;
+  if (r.disabled) {
+    // Panel ausgeschaltet: nicht auf ein Neuladen warten
+    document.body.replaceChildren(h("div", { class: "empty" }, r.message));
+    return;
+  }
   const target = r.url && r.url !== location.origin + location.pathname ? r.url : location.href;
   // Warten, bis das Panel wieder antwortet, dann neu laden
   const started = Date.now();

Panel/i18n.js

@@ -13,6 +13,9 @@
   window.MSCO_LANG = lang;
 
   const DE = {
+    "The web panel is turned off - turn it on again with 'panel on' in the server console or PanelEnabled in server.json":
+      "Das Web-Panel ist ausgeschaltet - wieder an mit 'panel on' in der Server-Konsole oder PanelEnabled in server.json",
+
     // Neues Spiel
     "New game": "Neues Spiel",
     "Start a completely fresh My Summer Car game instead of an uploaded save. The current save game is backed up first. The first player to join creates the new world.":