aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-08-27 12:25:46 +0200
committerThomas Letan <lthms@soap.coffee>2022-08-27 12:25:46 +0200
commit9650b07d63af81e72833b393e267d0f742cd5fdd (patch)
tree6ff060279353096d046f3419d48be2b2b6ea3393
parentGeneralize the 'Socket' module to work with any magic string (diff)
Close Clap
-rw-r--r--bin/spatialmsg/main.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/spatialmsg/main.ml b/bin/spatialmsg/main.ml
index b6a10ee..a721677 100644
--- a/bin/spatialmsg/main.ml
+++ b/bin/spatialmsg/main.ml
@@ -88,6 +88,8 @@ let () =
]
in
+ Clap.close ();
+
let cmd = select_message command in
Lwt_main.run (main cmd)