aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-12-11 22:20:24 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-12-12 14:19:32 +0100
commit5a558038874765f20b9dc1bcb1890600e2a2065d (patch)
tree215906e1a7e2eb1597e19d81c000fbd63ccbb057
parent6b377719c10d5ab3343fd5221f99a4a21008e25a (diff)
Correction in the cursor displayed in the console
-rw-r--r--bin/importer.ml6
1 files changed, 2 insertions, 4 deletions
diff --git a/bin/importer.ml b/bin/importer.ml
index f737a46..0d9b751 100644
--- a/bin/importer.ml
+++ b/bin/importer.ml
@@ -300,12 +300,10 @@ let () =
db conf.configuration
with
| Ok () ->
- Printf.printf "%c[?25h%c[1D%c[0K\n%!" (char_of_int 27)
- (char_of_int 27) (char_of_int 27);
+ Helpers.Console.close_cursor ();
Ok ()
| Error e ->
- Printf.printf "%c[?25h%c[1D%c[0K\n%!" (char_of_int 27)
- (char_of_int 27) (char_of_int 27);
+ Helpers.Console.close_cursor ();
print_endline @@ ImportErrors.repr_error e;
Ok ()));