Use String.trim. Fixes: #4223

savonet · Nov 24, 2024 · 0c50a54 · 0c50a54
1 parent 1e3d1e6
commit 0c50a54
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/core/tools/server.ml b/src/core/tools/server.ml
@@ -237,12 +237,9 @@ let () =
   add "help" ~usage:"help [<command>]"
     ~descr:"Get information on available commands." (fun args ->
       try
-        let args =
-          Re.Pcre.substitute ~rex:(Re.Pcre.regexp "\\s*")
-            ~subst:(fun _ -> "")
-            args
-        in
+        let args = String.trim args in
         let _, us, d = Mutex_utils.mutexify lock (Hashtbl.find commands) args in
+        Printf.printf "Done\n%!";
         Printf.sprintf "Usage: %s\r\n  %s" us d
       with Not_found ->
         (if args <> "" then "No such command: " ^ args ^ "\r\n" else "")