admin: Add purge interface

This commit adds a new option to the admin interface to purge an
instance. This requires the user to manually confirm the name of the
instance.

internal/dis/component/control/static/assets_dist.go

@@ -21,6 +21,6 @@ var AssetsUser = Assets{
 
 // AssetsAdmin contains assets for the 'Admin' entrypoint.
 var AssetsAdmin = Assets{
-	Scripts: `<script nomodule="" defer src="/static/User.b2f9a57c.js"></script><script type="module" src="/static/User.e0367d79.js"></script><script type="module" src="/static/Default.38d394c2.js"></script><script src="/static/Default.38d394c2.js" nomodule="" defer></script><script type="module" src="/static/Admin.4ca3cb6f.js"></script><script src="/static/Admin.9750ba9c.js" nomodule="" defer></script>`,
+	Scripts: `<script nomodule="" defer src="/static/User.b2f9a57c.js"></script><script type="module" src="/static/User.e0367d79.js"></script><script type="module" src="/static/Default.38d394c2.js"></script><script src="/static/Default.38d394c2.js" nomodule="" defer></script><script type="module" src="/static/Admin.1a380f6f.js"></script><script src="/static/Admin.cb58d290.js" nomodule="" defer></script>`,
 	Styles:  `<link rel="stylesheet" href="/static/Default.db26a303.css"><link rel="stylesheet" href="/static/Admin.6d59e220.css"><link rel="stylesheet" href="/static/User.840de3b4.css"><link rel="stylesheet" href="/static/User.68febbf8.css"><link rel="stylesheet" href="/static/Admin.6d2ae968.css">`,	
 }

internal/dis/component/control/static/src/lib/remote/index.ts

@@ -49,16 +49,40 @@ function makeTextBuffer(target: HTMLElement, scrollContainer: HTMLElement, size:
 const remote_action = document.getElementsByClassName('remote-action')
 Array.from(remote_action).forEach((element) => {
     const action = element.getAttribute('data-action') as string;
-    const reload = element.hasAttribute('data-force-reload');
+    const reload = element.getAttribute('data-force-reload');
     const param = element.getAttribute('data-param') as string | undefined;
+    
+    const confirmElementName = element.getAttribute('data-confirm-param');
+    const confirmElement = (confirmElementName ? document.querySelector(confirmElementName) : null) as HTMLInputElement | null;
+
     const bufferSize = (function () {
         const number = parseInt(element.getAttribute('data-buffer') ?? "", 10) ?? 0;
         return (isFinite(number) && number > 0) ? number : 0;
     })()
 
+    const validate = function() {
+        if (!confirmElement) return true
+        return confirmElement.value === param;
+    }
+
+    if (confirmElement) {
+        const runValidation = () => {
+            if (validate()) {
+                element.removeAttribute('disabled')
+            } else {
+                element.setAttribute('disabled', 'disabled')
+            }
+        }
+        confirmElement.addEventListener('change', runValidation)
+        runValidation()
+    }
+
     element.addEventListener('click', function (ev) {
         ev.preventDefault();
 
+        // do nothing if the validation fails
+        if (!validate()) return;
+
         // create a modal dialog and append it to the body
         const modal = document.createElement("div")
         modal.className = "modal-terminal"
@@ -73,14 +97,18 @@ Array.from(remote_action).forEach((element) => {
         // create a button to eventually close everything
         const button = document.createElement("button")
         button.className = "pure-button pure-button-success"
-        button.append(reload ? "Close & Reload" : "Close")
+        button.append(typeof reload === 'string' ? "Close & Reload" : "Close")
         button.addEventListener('click', function (event) {
             event.preventDefault();
 
-            if (reload) {
-                button.setAttribute('disabled', 'disabled');
+            if (typeof reload === 'string') {
+                button.setAttribute('disabled', 'disabled')
                 target.innerHTML = 'Reloading page ...'
-                location.reload()
+                if (reload === '') {
+                    location.reload()
+                } else {
+                    location.href = reload
+                }
                 return;
             }