mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Missing commit related to changes on WSF_ROUTER

Browse Source
This commit is contained in:
Jocelyn Fiat
2012-04-12 11:59:14 +02:00
parent b541efcc8f
commit 3bbf356f19
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
library/server/wsf/router/uri/wsf_uri_router_i.e
View File

@@ -12,7 +12,7 @@ note
map_with_request_methods ("/groups/", write_groups_handler, <<"POST", "PUT", "DELETE">>)
map_agent_with_request_methods ("/order/", agent do_get_order, <<"GET">>)
map_agent_with_request_methods ("/order/", agent do_post_order, <<"POST">>)
]"
date: "$Date$"
@@ -102,9 +102,9 @@ feature {NONE} -- Implementation
end
end
feature {NONE} -- Access: Implementation
feature {WSF_ROUTED_SERVICE_I} -- Handler
handler (req: WSF_REQUEST): detachable WSF_ROUTE [H, C]
matching_route (req: WSF_REQUEST): detachable WSF_ROUTE [H, C]
local
h: detachable H
ctx: detachable C
@@ -128,6 +128,8 @@ feature {NONE} -- Access: Implementation
end
end
feature {NONE} -- Access: Implementation
smart_handler (req: WSF_REQUEST): detachable TUPLE [path: READABLE_STRING_8; handler: H]
require
req_valid: req /= Void and then source_uri (req) /= Void