From cab8427ac8eb2da335f72406c936fb02ae3f35bd Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Wed, 28 Sep 2022 15:03:35 +0200
Subject: [PATCH] Create index.html

---
 index.html | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 61 insertions(+)
 create mode 100644 index.html
diff --git a/index.html b/index.html
new file mode 100644
index 0000000..033c08a
--- /dev/null
+++ b/index.html
@@ -0,0 +1,61 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <title>Bisect rustc</title>
+  <style>
+    .hidden {
+      dispaly: none
+    }
+  </style>
+</head>
+<body>
+  <h1>Bisect rustc</h1>
+
+  <textarea id="code">
+    // Rust code goes here...
+  </textarea>
+  <button onclick="bisect()">Bisect!</button>
+
+  <div id="status" class="hidden"/>
+  <div id="result" class="hidden"/>
+  
+  <script>
+    let bisecting = false;
+    async function bisect() {
+      if (bisecting) {
+        return;
+      }
+      bisecting = true;
+      const code = document.getElementById("code");
+      const status = document.getElementById("status");
+      const result = document.getElementById("result");
+
+      status.classList.remove("hidden");
+      status.innerText = "Sending request...";
+      
+      const fetched = await fetch("https://bisect-rustc.nilstrieb.dev/bisect", {
+        method: "POST",
+        body: code.value,
+      });
+      const { id } = await fetched.json();
+      
+      function tryFetch() {
+        const fetched = await fetch(`https://bisect-rustc.nilstrieb.dev/bisect/${id}`);
+        const { done, output, time } = await fetched.json();
+        
+        if (done) {
+          bisecting = false;
+          result.innerText = output;
+          status.innerText = `Bisected job ${id} successfully in ${time}ms`;
+        }
+        
+        setTimeout(tryFetch, 3000);
+      }
+      
+      tryFetch();
+      
+      status.innerHTML = `Waiting for bisection, job id=${id}`;
+    }
+  </script>
+</body>
+</html>
