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 /elements | |
parent | 20addbe8fd0ac4c79c8a69a4f888ec320a9ca4c3 (diff) |
Communication with webworker
Diffstat (limited to 'elements')
-rwxr-xr-x | elements/timer.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/elements/timer.ml b/elements/timer.ml index bd676fd..28516fc 100755 --- a/elements/timer.ml +++ b/elements/timer.ml @@ -30,7 +30,6 @@ let start (fun () -> let span = Time.counter_value t.counter in - t.counter <- Time.counter (); send span) in t.id <- timer_id |