🔌 Automatic reconnect (#370)

* hello * aah * heyo * hello * hgfhj * getting there * almost there * error? no error * ik ben tevree * hello * klaar * bedtijd
fonsp · Sep 6, 2020 · 4d0bf17 · 4d0bf17
1 parent adc1e10
commit 4d0bf17
Show file tree

Hide file tree

Showing 13 changed files with 475 additions and 331 deletions.
diff --git a/frontend/common/Feedback.js b/frontend/common/Feedback.js
@@ -1,14 +1,5 @@
 import { code_differs } from "../components/Cell.js"
-
-const timeout_promise = (promise, time_ms) =>
-    Promise.race([
-        promise,
-        new Promise((res, rej) => {
-            setTimeout(() => {
-                rej(new Error("Promise timed out."))
-            }, time_ms)
-        }),
-    ])
+import { timeout_promise } from "./PlutoConnection.js"
 
 export const create_counter_statistics = () => {
     return {