Fixes after theme update (#279)

Author: minrk

doc/_static/status.js

@@ -0,0 +1,71 @@
+// in sync with list in status.rst
+// fixme: can this come from one source?
+var fedUrls = [
+  "https://gke.mybinder.org",
+  "https://ovh.mybinder.org",
+  "https://notebooks.gesis.org/binder",
+];
+
+// Use a dictionary to store the rows that should be updated
+var urlRows = {};
+fedUrls.forEach((url) => {
+  document.querySelectorAll("tr").forEach((tr) => {
+    if (tr.textContent.includes(url.replace("https://", ""))) {
+      urlRows[url] = tr;
+    }
+  });
+});
+
+fedUrls.forEach(async (url) => {
+  var urlHealth = url + "/health";
+  var urlPrefix = url.split("//")[1].split(".")[0];
+
+  // Query the endpoint and update health icon
+  var row = urlRows[url];
+  let [
+    fieldUrl,
+    fieldResponse,
+    fieldRegistry,
+    fieldHub,
+    fieldPods,
+    fieldQuota,
+  ] = row.querySelectorAll("td");
+  try {
+    let response = await fetch(urlHealth);
+    let resp = await response.json();
+    if (resp["ok"] == false) {
+      setStatus(fieldResponse, "fail");
+    } else {
+      setStatus(fieldResponse, "success");
+    }
+
+    let [respReg, respHub, respQuota] = resp["checks"];
+
+    if (respReg == false) {
+      setStatus(fieldRegistry, "fail");
+    } else {
+      setStatus(fieldRegistry, "success");
+    }
+
+    if (respHub == false) {
+      setStatus(fieldHub, "fail");
+    } else {
+      setStatus(fieldHub, "success");
+    }
+
+    fieldPods.textContent = `${respQuota["user_pods"]}/${respQuota["build_pods"]}`;
+    fieldQuota.textContent = `${respQuota["quota"]}`;
+  } catch (e) {
+    setStatus(fieldResponse, "fail");
+  }
+});
+
+var setStatus = (td, kind) => {
+  if (kind == "success") {
+    td.textContent = "Success";
+    td.style.color = "green";
+  } else {
+    td.textContent = "Fail";
+    td.style.color = "red";
+  }
+};

doc/about/status.rst

@@ -20,81 +20,19 @@ federation, along with the status of each. For more information about
 the BinderHub federation, who is in it, how to join it, etc, see
 `the mybinder federation page <https://mybinder.readthedocs.io/en/latest/about/federation.html>`_.
 
+.. update fedUrls in _status/status.js
+
 ==========================  ========  ===============  ==============  =============== =====
   URL                       Response  Docker registry  JupyterHub API  User/Build Pods Quota
 ==========================  ========  ===============  ==============  =============== =====
 gke.mybinder.org
 ovh.mybinder.org
-notebooks.gesis.org
+notebooks.gesis.org/binder
 ==========================  ========  ===============  ==============  =============== =====
 
 .. raw:: html
 
-   <script>
-   var fedUrls = [
-         "https://gke.mybinder.org",
-         "https://ovh.mybinder.org",
-         "https://notebooks.gesis.org/binder",
-   ]
-
-   // Use a dictionary to store the rows that should be updated
-   var urlRows = {};
-   fedUrls.forEach((url) => {
-      document.querySelectorAll('tr').forEach((tr) => {
-         if (tr.textContent.includes(url.replace('https://', ''))) {
-            urlRows[url] = tr;
-         };
-      });
-   });
-
-   fedUrls.forEach((url) => {
-         var urlHealth = url + '/health'
-         var urlPrefix = url.split('//')[1].split('.')[0]
-
-         // Query the endpoint and update health icon
-         var row = urlRows[url];
-         let [fieldUrl, fieldResponse, fieldRegistry, fieldHub, fieldPods, fieldQuota] = row.querySelectorAll('td')
-         $.getJSON(urlHealth, {})
-            .done((resp) => {
-               if (resp['ok'] == false) {
-                     setStatus(fieldResponse, 'fail')
-               } else {
-                     setStatus(fieldResponse, 'success')
-               }
-
-               let [respReg, respHub, respQuota] = resp['checks']
-
-               if (respReg == false) {
-                     setStatus(fieldRegistry, 'fail')
-               } else {
-                     setStatus(fieldRegistry, 'success')
-               }
-
-               if (respHub == false) {
-                     setStatus(fieldHub, 'fail')
-               } else {
-                     setStatus(fieldHub, 'success')
-               }
-
-               fieldPods.textContent = `${respQuota['user_pods']}/${respQuota['build_pods']}`
-               fieldQuota.textContent = `${respQuota['quota']}`
-            })
-            .fail((resp) => {
-                  setStatus(fieldResponse, 'fail')
-         });
-   })
-
-   var setStatus = (td, kind) => {
-      if (kind == "success") {
-         td.textContent = "Success";
-         td.style.color = "green";
-      } else {
-         td.textContent = "Fail";
-         td.style.color = "red";
-      }
-   }
-
-   </script>
+   <script src="../_static/status.js" type="text/javascript"/>
 
 
 Running Binder sessions

doc/conf.py

@@ -75,8 +75,8 @@
     "navbar_align": "left",
     "navbar_end": ["theme-switcher", "navbar-icon-links", "support-button"],
     "logo": {
-        "image_light": "images/logo.png",
-        "image_dark": "images/logo-dark.png",
+        "image_light": "_static/images/logo.png",
+        "image_dark": "_static/images/logo-dark.png",
     },
 }