From 0b8bee3404611f3d97d05fa1fb9daecf198bd6bf Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 10 Jun 2015 11:06:58 +0200
Subject: [PATCH] favor EiffelThread for now, while waiting for SCOOP to be
 fully ready.

---
 examples/demo/demo-safe.ecf | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/examples/demo/demo-safe.ecf b/examples/demo/demo-safe.ecf
index 3c64fa1..f8bee78 100644
--- a/examples/demo/demo-safe.ecf
+++ b/examples/demo/demo-safe.ecf
@@ -10,7 +10,7 @@
 	<option debug="true" warning="true" full_class_checking="false" is_attached_by_default="true" void_safety="all" syntax="transitional">
 		<debug name="dbglog" enabled="true"/>
 	</option>
-	<setting name="concurrency" value="scoop"/>
+	<setting name="concurrency" value="thread"/>
 	<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 	<library name="cms" location="..\..\cms-safe.ecf" readonly="false"/>
 	<library name="cms_app_env" location="..\..\library\app_env\app_env-safe.ecf" readonly="false"/>
@@ -25,7 +25,7 @@
 </target>
 <target name="demo_any" extends="common">
 	<root class="EWF_ROC_SERVER" feature="make_and_launch"/>
-	<setting name="concurrency" value="scoop"/>
+	<setting name="concurrency" value="thread"/>
 	<library name="cgi" location="$ISE_LIBRARY\contrib\library\web\framework\ewf\wsf\connector\cgi-safe.ecf"/>
 	<library name="libfcgi" location="$ISE_LIBRARY\contrib\library\web\framework\ewf\wsf\connector\libfcgi-safe.ecf"/>
 	<library name="nino" location="$ISE_LIBRARY\contrib\library\web\framework\ewf\wsf\connector\nino-safe.ecf"/>
@@ -38,7 +38,7 @@
 	<option debug="true">
 		<debug name="dbglog" enabled="true"/>
 	</option>
-	<setting name="concurrency" value="scoop"/>
+	<setting name="concurrency" value="thread"/>
 	<library name="default_standalone" location="$ISE_LIBRARY\contrib\library\web\framework\ewf\wsf\default\standalone-safe.ecf"/>
 	<cluster name="launcher" location=".\launcher\default\" recursive="true"/>
 	<cluster name="src" location=".\src\" recursive="true"/>
@@ -50,9 +50,6 @@
 	<setting name="concurrency" value="thread"/>
 </target>
 <target name="demo_standalone_scoop" extends="demo_standalone">
-	<option debug="true">
-		<debug name="dbglog" enabled="true"/>
-	</option>
 	<setting name="concurrency" value="scoop"/>
 </target>
 <target name="demo_nino" extends="common">