From 66a1e0629cb13bc2af2d5203a4a5ed4e91864130 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Mon, 30 Jun 2014 15:16:31 +0200
Subject: [PATCH] Improved the debug example, so that it outputs more
 information.

---
 examples/debug/debug.ecf              | 6 ++++--
 examples/debug/src/ewf_debug_server.e | 5 +----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/examples/debug/debug.ecf b/examples/debug/debug.ecf
index 9aecc058..7b1f2b7b 100644
--- a/examples/debug/debug.ecf
+++ b/examples/debug/debug.ecf
@@ -9,14 +9,16 @@
 		<option warning="true" full_class_checking="false" is_attached_by_default="true" void_safety="transitional" syntax="transitional">
 			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
 		</option>
+		<setting name="console_application" value="true"/>
 		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
+		<library name="encoder" location="..\..\library\text\encoder\encoder-safe.ecf" readonly="false"/>
 		<library name="http" location="..\..\library\network\protocol\http\http-safe.ecf"/>
 		<library name="wsf" location="..\..\library\server\wsf\wsf-safe.ecf" readonly="false"/>
-		<library name="wsf_extension" location="..\..\library\server\wsf\wsf_extension-safe.ecf"/>
+		<library name="wsf_extension" location="..\..\library\server\wsf\wsf_extension-safe.ecf" readonly="false"/>
 	</target>
 	<target name="debug_any" extends="common">
 		<root class="EWF_DEBUG_SERVER" feature="make_and_launch"/>
-		<library name="cgi" location="..\..\library\server\wsf\connector\cgi-safe.ecf"/>
+		<library name="cgi" location="..\..\library\server\wsf\connector\cgi-safe.ecf" readonly="false"/>
 		<library name="libfcgi" location="..\..\library\server\wsf\connector\libfcgi-safe.ecf"/>
 		<library name="nino" location="..\..\library\server\wsf\connector\nino-safe.ecf"/>
 		<cluster name="launcher" location=".\launcher\any\" recursive="true"/>
diff --git a/examples/debug/src/ewf_debug_server.e b/examples/debug/src/ewf_debug_server.e
index 218b346d..8900d2a7 100644
--- a/examples/debug/src/ewf_debug_server.e
+++ b/examples/debug/src/ewf_debug_server.e
@@ -27,18 +27,15 @@ feature {NONE} -- Initialization
 			Precursor
 			set_service_option ("verbose", True)
 			set_service_option ("port", 9090)
-			set_service_option ("base", "/www-debug/debug_service.fcgi")
+--			set_service_option ("base", "/www-debug/debug_service.fcgi/")
 		end
 
 	execute (req: WSF_REQUEST; res: WSF_RESPONSE)
 		local
 			dbg: WSF_DEBUG_HANDLER
-			m: WSF_PAGE_RESPONSE
 		do
 			create dbg.make
 			dbg.execute_starts_with ("", req, res)
-			--create m.make_with_body ("This is ewf debug")
-			--res.send (m)
 		end
 
 end