Skip to content
Snippets Groups Projects
Commit f604eea3 authored by David Bühler's avatar David Bühler
Browse files

[Dive] Server interface: if Eva has not been computed, emit an error.

Do not run Eva without warning when the Ivette component is open.
parent b8ff7ee2
No related branches found
No related tags found
No related merge requests found
......@@ -38,9 +38,16 @@ let get_context =
match !context with
| Some c -> c
| None ->
let c = Context.create () in
context := Some c;
c
if Db.Value.is_computed () then
let c = Context.create () in
context := Some c;
c
else
begin
Self.error ~once:true
"A prior Eva analysis is required to build the graphs.";
Server.Data.failure "Eva analysis not computed"
end
let global_window = ref {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment