Commit edfb80c0 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix issue #40

Server now sends a notification after successfully loading or
reloading the session

Note that generally speaking, the server should always send a notification
after handling any request. If it is not the case, it is likely that
similar issues may occur in other scenario of IDE use
parent 92126279
......@@ -935,7 +935,8 @@ end
| None ->
let file = get_file cont.controller_session fn in
send_new_subtree_from_file file;
read_and_send (file_name file)
read_and_send (file_name file);
P.notify (Message (Information "file added in session"))
| Some(loc,rel_loc,s) ->
read_and_send fn;
P.notify (Message (Parse_Or_Type_Error(loc,rel_loc,s)))
......@@ -997,7 +998,8 @@ end
focus on a specific node. *)
get_focused_label := None;
match x with
| None -> ()
| None ->
P.notify (Message (Information "Session initialized succesfully"))
| Some(loc,rel_loc,s) ->
P.notify (Message (Parse_Or_Type_Error(loc,rel_loc,s)))
......@@ -1210,7 +1212,8 @@ end
match reload_files d.cont ~use_shapes:true with
| None ->
(* TODO: try to restore the previous focus : focused_node := old_focus; *)
reset_and_send_the_whole_tree ()
reset_and_send_the_whole_tree ();
P.notify (Message (Information "Session refresh successful"))
| Some(loc,rel_loc,s) ->
P.notify (Message (Parse_Or_Type_Error(loc,rel_loc,s)))
......
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