Commit c4c6efc8 authored by David Bühler's avatar David Bühler
Browse files

[server] Fixes the synchronized properties array on status updates.

parent 2712368c
......@@ -322,9 +322,13 @@ let is_relevant ip =
|| Cil_builtins.is_unused_builtin (Kernel_function.get_vi kf))
let iter f = Property_status.iter (fun ip -> if is_relevant ip then f ip)
let add_update_hook f =
Property_status.register_property_add_hook
(fun ip -> if is_relevant ip then f ip)
(fun ip -> if is_relevant ip then f ip);
Property_status.register_status_update_hook
(fun _emitter ip _status -> if is_relevant ip then f ip)
let add_remove_hook f =
Property_status.register_property_remove_hook
(fun ip -> if is_relevant ip then f ip)
......
Supports Markdown
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