Avoid calling ANY.print, prefer io.error.put_string

Fixed obsolete calls.
2012-12-20 18:32:56 +01:00
parent d46fbeaedd
commit a362e7d9c6
6 changed files with 21 additions and 17 deletions
--- a/library/server/wsf/session/wsf_cookie_session.e
+++ b/library/server/wsf/session/wsf_cookie_session.e
@@ -151,7 +151,7 @@ feature {NONE} -- Storage
 				build
 			end
 		rescue
-			print ("ouch")
+			io.error.put_string ("Error while loading Cookie session...!%N")
 		end

 	build
--- a/library/server/wsf/session/wsf_fs_session_manager.e
+++ b/library/server/wsf/session/wsf_fs_session_manager.e
@@ -52,7 +52,7 @@ feature -- Access
 			end
 		rescue
 			debug
-				print ("Error occurred in " + generator)
+				io.error.put_string ("Error occurred in " + generator)
 			end
 		end