Merge branch 'fix/ivette/eva-computation-state' into 'master'

[Server] States: fixes synchronization bug with Eva computation state.

See merge request frama-c/frama-c!4156

src/plugins/server/states.ml

@@ -33,6 +33,7 @@ let install signal hook = function
         begin
           once := false ;
           add_hook hook ;
+          Request.emit signal ;
         end
     in Request.on_signal signal install