Commit 3c425b07 authored by Sylvain Dailler's avatar Sylvain Dailler

Allow initialization of debug flags on both server and ide.

parent a7a21770
......@@ -923,6 +923,7 @@ module Args = struct
let main = get_main config in
load_plugins main;
let lp = List.rev_append !opt_loadpath (loadpath main) in
Debug.Args.set_flags_selected ();
config, base_config, Env.create_env lp
let exit_with_usage options usage =
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