From a8f37f041dce3f16917b6659d3ca97492f178f4d Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 3 Jan 2021 05:42:35 +0100 Subject: Communication with webworker --- worker/dune | 9 --------- worker/worker.ml | 5 ----- 2 files changed, 14 deletions(-) delete mode 100755 worker/dune delete mode 100755 worker/worker.ml (limited to 'worker') diff --git a/worker/dune b/worker/dune deleted file mode 100755 index 508055e..0000000 --- a/worker/dune +++ /dev/null @@ -1,9 +0,0 @@ -(library - (name worker) - (libraries - gg - brr - note - shapes - ) - ) 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