Commit e506d384 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

itp_server: Avoid sending the tree twice when reloading

parent 9f6a9955
......@@ -1282,7 +1282,7 @@ end
(* interrupt all running provers and unfocus before reload *)
C.interrupt ();
let _old_focus = !focused_node in
unfocus ();
focused_node := Unfocused;
clear_tables ();
let l = reload_files d.cont
~shape_version:(Some Termcode.current_shape_version)
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