moved wsf_extension inside wsf/extension as wsf/wsf_extension.ecf

added wsf/session as wsf/wsf_session.ecf
In descendants of WSF_HANDLER , we can keep the result of new_mapping as WSF_ROUTER_MAPPING

library/server/wsf/session/wsf_session_manager.e

@@ -0,0 +1,30 @@
+note
+	description: "Summary description for {WSF_SESSION_MANAGER}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+deferred class
+	WSF_SESSION_MANAGER
+
+feature -- Access
+
+	session_exists (a_uuid: like {WSF_SESSION}.uuid): BOOLEAN
+		deferred
+		end
+
+	session_data (a_uuid: like {WSF_SESSION}.uuid): detachable like {WSF_SESSION}.data
+		deferred
+		end
+
+feature -- Persistence
+
+	save_session (a_session: WSF_SESSION)
+		deferred
+		end
+
+	delete_session (a_session: WSF_SESSION)
+		deferred
+		end
+
+end