diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-03 05:42:35 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-03 20:19:14 +0100 |
| commit | a8f37f041dce3f16917b6659d3ca97492f178f4d (patch) | |
| tree | 35223969024c9ebaed7309b5a6299f8de5f18d1f /worker/worker.ml | |
| parent | 20addbe8fd0ac4c79c8a69a4f888ec320a9ca4c3 (diff) | |
Communication with webworker
Diffstat (limited to 'worker/worker.ml')
| -rwxr-xr-x | worker/worker.ml | 5 |
1 files changed, 0 insertions, 5 deletions
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 |