diff --git a/src/plugins/server/states.ml b/src/plugins/server/states.ml index 04bb0f80b730a06a05a5b2666c61529369204ca4..08317ce24c1dedfc8c886a18d943acd41ca9c62c 100644 --- a/src/plugins/server/states.ml +++ b/src/plugins/server/states.ml @@ -209,18 +209,14 @@ let reload array = let update array k = let m = content array in if not m.cleared then - begin - m.updates <- Kmap.add (array.key k) (Add k) m.updates ; - Request.emit array.signal ; - end + m.updates <- Kmap.add (array.key k) (Add k) m.updates ; + Request.emit array.signal let remove array k = let m = content array in if not m.cleared then - begin - m.updates <- Kmap.add (array.key k) Remove m.updates ; - Request.emit array.signal ; - end + m.updates <- Kmap.add (array.key k) Remove m.updates ; + Request.emit array.signal let signal array = array.signal