Commit e300abdf authored by Sylvain Dailler's avatar Sylvain Dailler

fix general command when nothing is selected

The root node is not an invalid node for Command_req anymore.
parent dc15aaf1
......@@ -2134,7 +2134,6 @@ let check_uninstalled_prover =
uninstalled_prover_dialog gconfig p
end
let treat_notification n =
Protocol_why3ide.print_notify_debug n;
begin match n with
......
......@@ -18,6 +18,7 @@ type strategy = string
type node_ID = int
let root_node : node_ID = 0
let is_root n = n = root_node
type global_information =
{
......
......@@ -16,6 +16,8 @@ type strategy = string
type node_ID = int
val root_node : node_ID
val is_root : node_ID -> bool
(* --------------------------- types to be expanded if needed --------------------------------- *)
(** Global information known when server process has started and that can be
......
......@@ -1329,7 +1329,10 @@ end
| Get_task(nid,_,_,_) ->
Hint.mem model_any nid
| Command_req (nid, _) ->
Hint.mem model_any nid
if not (Itp_communication.is_root nid) then
Hint.mem model_any nid
else
true
(* ----------------- treat_request -------------------- *)
......
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