Moved recent policy-driven classes into "policy" sub folder
This commit is contained in:
36
library/server/wsf/router/policy/wsf_no_proxy_policy.e
Normal file
36
library/server/wsf/router/policy/wsf_no_proxy_policy.e
Normal file
@@ -0,0 +1,36 @@
|
||||
note
|
||||
|
||||
description: "[
|
||||
Policy that no client ever need use a proxy.
|
||||
|
||||
Users of this policy cannot safely use chunked transfer-encoding, or any
|
||||
HTTP/1.1-specific features. So best used only for examples.
|
||||
]"
|
||||
|
||||
date: "$Date$"
|
||||
revision: "$Revision$"
|
||||
|
||||
class WSF_NO_PROXY_POLICY
|
||||
|
||||
inherit
|
||||
|
||||
WSF_PROXY_USE_POLICY
|
||||
redefine
|
||||
requires_proxy
|
||||
end
|
||||
|
||||
feature -- Access
|
||||
|
||||
requires_proxy (req: WSF_REQUEST): BOOLEAN
|
||||
-- Does `req' require use of `proxy_server'?
|
||||
do
|
||||
end
|
||||
|
||||
proxy_server (req: WSF_REQUEST): URI
|
||||
-- Absolute URI of proxy server which `req' must use
|
||||
do
|
||||
create Result.make_from_string ("")
|
||||
-- doesn't meet the postcondition, but the precondition is never true.
|
||||
end
|
||||
|
||||
end
|
||||
Reference in New Issue
Block a user