From a8f37f041dce3f16917b6659d3ca97492f178f4d Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sun, 3 Jan 2021 05:42:35 +0100
Subject: Communication with webworker

---
 worker/worker.ml | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 worker/worker.ml

(limited to 'worker/worker.ml')

diff --git a/worker/worker.ml b/worker/worker.ml
deleted file mode 100755
index 7a8d09a..0000000
--- a/worker/worker.ml
+++ /dev/null
@@ -1,5 +0,0 @@
-open Brr_webworkers
-
-let spawn_worker name =
-  try Ok (Worker.create name) with
-  | Jv.Error e -> Error e
-- 
cgit v1.2.3