Commit 0aa57b31 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

webserver: fixed interpretation of several files on cmdline

parent 3913bc7a
......@@ -141,6 +141,8 @@ let () =
in
if Queue.is_empty files then
Whyconf.Args.exit_with_usage spec usage_str;
Queue.iter (fun f -> P.push_request (Open_session_req f)) files;
let f = Queue.pop files in
P.push_request (Open_session_req f);
Queue.iter (fun f -> P.push_request (Add_file_req f)) files;
S.init_server config env;
Wserver.main_loop None 6789 handler stdin_handler
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment