From a57e04100394b24e9e030b0321d0dbcf49532e8a Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 13 Apr 2017 22:55:39 +0200 Subject: [PATCH] Added precondition to WSF_FILTER.set_next (..) to avoid cycle. --- library/server/wsf/router/filter/wsf_filter.e | 2 ++ 1 file changed, 2 insertions(+) diff --git a/library/server/wsf/router/filter/wsf_filter.e b/library/server/wsf/router/filter/wsf_filter.e index 66922784..bf426418 100644 --- a/library/server/wsf/router/filter/wsf_filter.e +++ b/library/server/wsf/router/filter/wsf_filter.e @@ -29,6 +29,8 @@ feature -- Element change set_next (a_next: like next) -- Set `next' to `a_next' + require + a_next_is_not_current: a_next /= Current do next := a_next ensure