diff --git a/library/server/wsf/router/wsf_proxy_use_policy.e b/library/server/wsf/router/wsf_proxy_use_policy.e
index cecd3fbe..a0dc8b31 100644
--- a/library/server/wsf/router/wsf_proxy_use_policy.e
+++ b/library/server/wsf/router/wsf_proxy_use_policy.e
@@ -22,13 +22,16 @@ feature -- Access
local
l_version: WSF_HTTP_PROTOCOL_VERSION
do
- --| This default version just replies True for HTTP/1.0.
- --| For HTTP/0.9 or other protocols, we hope
- --| that the connector has already rejected the request. Anyway, a
- --| proxy server won't help us (? - is that correct?)
+ --| This default version just replies True for HTTP/1.0.
+ --| For HTTP/0.9 or other protocols, we hope
+ --| that the connector has already rejected the request. Anyway, a
+ --| proxy server won't help us (? - is that correct?)
create l_version.make (req.server_protocol)
- if l_version.is_valid and then l_version.major = 1 and then
- l_version.minor = 0 then
+ if
+ l_version.is_valid and then
+ l_version.major = 1 and then
+ l_version.minor = 0
+ then
Result := True
end
end
diff --git a/library/server/wsf/router/wsf_routed_skeleton_service.e b/library/server/wsf/router/wsf_routed_skeleton_service.e
index 6253c8cd..1fb5539f 100644
--- a/library/server/wsf/router/wsf_routed_skeleton_service.e
+++ b/library/server/wsf/router/wsf_routed_skeleton_service.e
@@ -1,13 +1,12 @@
note
- description: "Summary description for {WSF_ROUTED_SERVICE}."
- author: ""
+ description: "Summary description for {WSF_ROUTED_SKELETON_SERVICE}."
date: "$Date$"
revision: "$Revision$"
-deferred class WSF_ROUTED_SKELETON_SERVICE
+deferred class
+ WSF_ROUTED_SKELETON_SERVICE
inherit
-
WSF_ROUTED_SERVICE
redefine
execute
@@ -252,12 +251,12 @@ feature {NONE} -- Implementation
local
h: HTTP_HEADER
do
- create h.make
- h.put_content_type_text_plain
- h.put_current_date
- h.put_location (proxy_server (req).string)
- h.put_content_length (0)
- res.set_status_code ({HTTP_STATUS_CODE}.use_proxy)
+ create h.make
+ h.put_content_type_text_plain
+ h.put_current_date
+ h.put_location (proxy_server (req).string)
+ h.put_content_length (0)
+ res.set_status_code ({HTTP_STATUS_CODE}.use_proxy)
ensure
response_status_is_set: res.status_is_set
response_code_use_proxy: res.status_code = {HTTP_STATUS_CODE}.use_proxy
diff --git a/tools/ise_wizard/ewf_ise_wizard-safe.ecf b/tools/ise_wizard/ewf_ise_wizard-safe.ecf
index af052664..36ca6b24 100644
--- a/tools/ise_wizard/ewf_ise_wizard-safe.ecf
+++ b/tools/ise_wizard/ewf_ise_wizard-safe.ecf
@@ -12,7 +12,6 @@
-