Fixed CMS_USER.creation_date retrieval.

Improved the admin users listing.
2017-03-01 15:36:58 +01:00
parent e89b04cbd2
commit 8ff638d62e
7 changed files with 91 additions and 17 deletions
--- a/library/model/src/user/cms_user.e
+++ b/library/model/src/user/cms_user.e
@@ -196,6 +196,11 @@ feature -- Change element
 			email_set: email = a_email
 		end

+	set_creation_date (dt: like creation_date)
+		do
+			creation_date := dt
+		end
+
 	set_last_login_date (dt: like last_login_date)
 		do
 			last_login_date := dt