HTTP_HEADER: - added put_last_modified

- added RFC1123 http date format helper
             - added put_cookie_with_expiration_date as DATE_TIME
REQUEST: added `execution_variable' to provide a way to keep object attached to the request
         and indexed by a string. A typical usage is a SESSION object

library/server/wsf/router/request_handler_context.e

@@ -22,6 +22,50 @@ feature -- Access
 	path: READABLE_STRING_8
 			-- Associated path
 
+feature -- Url Query
+
+	script_absolute_url (a_path: STRING): STRING
+			-- Absolute Url for the script if any, extended by `a_path'
+		do
+			Result := request.absolute_script_url (a_path)
+		end
+
+	script_url (a_path: STRING): STRING
+			-- Url relative to script name if any, extended by `a_path'
+		require
+			a_path_attached: a_path /= Void
+		do
+			Result := request.script_url (a_path)
+		end
+
+	url (args: detachable STRING; abs: BOOLEAN): STRING
+			-- Associated url based on `path' and `args'
+			-- if `abs' then return absolute url
+		local
+			s,t: detachable STRING
+		do
+			s := args
+			if s /= Void and then s.count > 0 then
+				create t.make_from_string (path)
+				if s[1] /= '/' and t[t.count] /= '/' then
+					t.append_character ('/')
+					t.append (s)
+				else
+					t.append (s)
+				end
+				s := t
+			else
+				s := path
+			end
+			if abs then
+				Result := script_absolute_url (s)
+			else
+				Result := script_url (s)
+			end
+		ensure
+			result_attached: Result /= Void
+		end
+
 feature {NONE} -- Constants
 
 	Format_constants: HTTP_FORMAT_CONSTANTS