From 6fdffb7418430fa54ce8a274eaba8177e6b2a0a9 Mon Sep 17 00:00:00 2001
From: YNH Webdev <ynhwebdev@gmail.com>
Date: Tue, 27 Aug 2013 16:18:51 +0200
Subject: [PATCH] Add post condition

---
 library/server/wsf_html/webcontrol/wsf_page_control.e | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/server/wsf_html/webcontrol/wsf_page_control.e b/library/server/wsf_html/webcontrol/wsf_page_control.e
index 72dbdf6d..d6891ccc 100644
--- a/library/server/wsf_html/webcontrol/wsf_page_control.e
+++ b/library/server/wsf_html/webcontrol/wsf_page_control.e
@@ -26,6 +26,8 @@ feature
 
 	initialize_controls
 		deferred
+		ensure
+			attached control
 		end
 
 	process