diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 00:03:03 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 00:03:03 +0100 |
commit | 06c39bbea3b7f8e6bfec88878ec80f9cc474184f (patch) | |
tree | 6394250ec5795f9b718595cf409b49517ab98759 /script.it/worker.ml | |
parent | a63662059215a26db627c4b76147a3c9338f5b74 (diff) |
Update
Diffstat (limited to 'script.it/worker.ml')
-rwxr-xr-x | script.it/worker.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script.it/worker.ml b/script.it/worker.ml index e2408b7..e68705a 100755 --- a/script.it/worker.ml +++ b/script.it/worker.ml @@ -63,6 +63,7 @@ let execute (command: [> message]) = rebuild (id, paths) | `DeletePoint (id, point, path) -> let path = Path.Fixed.remove_point path point in + (* TODO Handle when there are less than 4 points *) rebuild (id, Path.Fixed.path path) | any -> Worker.post_message (`Other any) |