diff options
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)  | 
