File tree Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Expand file tree Collapse file tree 1 file changed +3
-4
lines changed Original file line number Diff line number Diff line change @@ -117,11 +117,10 @@ let system (command : string) : bool option Lwt.t =
117
117
(fun _ -> Lwt. return None )
118
118
119
119
(* * Run a command controlling the outputs. *)
120
- let eval (command : string ) (args : string list )
121
- : ((big_int * string) * string) option Lwt.t =
120
+ let eval (command : string list ) : ((big_int * string) * string) option Lwt.t =
122
121
Lwt. catch (fun _ ->
123
- let args = Array. of_list args in
124
- Lwt_process. with_process_full (command, args ) (fun process ->
122
+ let command = Array. of_list command in
123
+ Lwt_process. with_process_full (" " , command ) (fun process ->
125
124
Lwt. bind (process#status) (fun (status : Unix.process_status ) ->
126
125
Lwt. bind (Lwt_io. read process#stdout) (fun (output : string ) ->
127
126
Lwt. bind (Lwt_io. read process#stderr) (fun (error : string ) ->
You can’t perform that action at this time.
0 commit comments