From a215c1e4d24d4ca979ab8c1dda093ba2e363387d Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Fri, 29 Jul 2011 08:52:36 +0200
Subject: [PATCH] added missing non-void-safe .ecf

---
 library/server/ewsgi/default/ewsgi_cgi.ecf    | 22 ++++++++++++++++
 library/server/ewsgi/default/ewsgi_nino.ecf   | 26 +++++++++++++++++++
 library/server/ewsgi/ewsgi-full-safe.ecf      | 25 ++++++++++++++++++
 library/server/ewsgi/ewsgi-full.ecf           |  2 +-
 .../ewsgi/examples/hello_world/hello.ecf      | 20 ++++++++++++++
 5 files changed, 94 insertions(+), 1 deletion(-)
 create mode 100644 library/server/ewsgi/default/ewsgi_cgi.ecf
 create mode 100644 library/server/ewsgi/default/ewsgi_nino.ecf
 create mode 100644 library/server/ewsgi/ewsgi-full-safe.ecf
 create mode 100644 library/server/ewsgi/examples/hello_world/hello.ecf

diff --git a/library/server/ewsgi/default/ewsgi_cgi.ecf b/library/server/ewsgi/default/ewsgi_cgi.ecf
new file mode 100644
index 00000000..b5f163cb
--- /dev/null
+++ b/library/server/ewsgi/default/ewsgi_cgi.ecf
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-8-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-8-0 http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd" name="ewsgi_cgi" uuid="82D0E5BA-3EBD-4E0F-94D1-776375158DAA" library_target="ewsgi_cgi">
+	<target name="ewsgi_cgi">
+		<root all_classes="true"/>
+		<file_rule>
+			<exclude>/EIFGENs$</exclude>
+			<exclude>/\.git$</exclude>
+			<exclude>/\.svn$</exclude>
+		</file_rule>
+		<option warning="true" full_class_checking="true" syntax="provisional">
+		</option>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
+		<library name="time" location="$ISE_LIBRARY\library\time\time.ecf"/>
+		<library name="ewsgi_spec" location="../ewsgi_specification.ecf"/>
+		<library name="ewsgi" location="../ewsgi.ecf"/>
+		<library name="connector_cgi" location="../connectors/cgi/cgi.ecf"/>
+		<library name="error" location="..\..\..\error\error.ecf"/>
+		<library name="http" location="..\..\..\protocol\http\http.ecf"/>
+		<library name="encoder" location="..\..\..\text\encoder\encoder.ecf" readonly="false"/>
+		<cluster name="default_cgi" location="./cgi" recursive="true"/>
+	</target>
+</system>
diff --git a/library/server/ewsgi/default/ewsgi_nino.ecf b/library/server/ewsgi/default/ewsgi_nino.ecf
new file mode 100644
index 00000000..465410c5
--- /dev/null
+++ b/library/server/ewsgi/default/ewsgi_nino.ecf
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-8-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-8-0 http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd" name="ewsgi_nino" uuid="11D70618-3D82-4C5B-9501-8833DD04A3D6" library_target="ewsgi_nino">
+	<target name="ewsgi_nino">
+		<root all_classes="true"/>
+		<file_rule>
+			<exclude>/EIFGENs$</exclude>
+			<exclude>/\.git$</exclude>
+			<exclude>/\.svn$</exclude>
+		</file_rule>
+		<option warning="true" full_class_checking="true" syntax="provisional">
+		</option>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
+		<library name="time" location="$ISE_LIBRARY\library\time\time.ecf"/>
+		<library name="ewsgi_spec" location="../ewsgi_specification.ecf"/>
+		<library name="ewsgi" location="../ewsgi.ecf"/>
+		<library name="connector_nino" location="../connectors/nino/nino.ecf"/>
+		<library name="nino" location="..\..\..\..\ext\server\nino\nino.ecf" readonly="false">
+			<renaming old_name="HTTP_CONSTANTS" new_name="NINO_HTTP_CONSTANTS"/>
+		</library>
+		
+		<library name="error" location="..\..\..\error\error.ecf"/>
+		<library name="http" location="..\..\..\protocol\http\http.ecf"/>
+		<library name="encoder" location="..\..\..\text\encoder\encoder.ecf" readonly="false"/>
+		<cluster name="default_nino" location="./nino" recursive="true"/>
+	</target>
+</system>
diff --git a/library/server/ewsgi/ewsgi-full-safe.ecf b/library/server/ewsgi/ewsgi-full-safe.ecf
new file mode 100644
index 00000000..42397e7d
--- /dev/null
+++ b/library/server/ewsgi/ewsgi-full-safe.ecf
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-8-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-8-0 http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd" name="ewsgi-full" uuid="D924DBE1-1231-434A-80EF-234BA09D1E30" library_target="ewsgi-full">
+	<target name="ewsgi-full">
+		<root all_classes="true"/>
+		<file_rule>
+			<exclude>/EIFGENs$</exclude>
+			<exclude>/\.git$</exclude>
+			<exclude>/\.svn$</exclude>
+		</file_rule>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="provisional">
+		</option>
+		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
+		<library name="encoder" location="..\..\text\encoder\encoder-safe.ecf" readonly="false"/>
+		<library name="error" location="..\..\error\error-safe.ecf"/>
+		<library name="ewsgi_spec" location="ewsgi_specification-safe.ecf"/>
+		<library name="http" location="..\..\protocol\http\http-safe.ecf"/>
+		<library name="libfcgi" location="..\libfcgi\libfcgi-safe.ecf"/>
+		<library name="nino" location="..\..\..\ext\server\nino\nino-safe.ecf" readonly="false">
+			<renaming old_name="HTTP_CONSTANTS" new_name="NINO_HTTP_CONSTANTS"/>
+		</library>
+		<library name="time" location="$ISE_LIBRARY\library\time\time-safe.ecf"/>
+		<cluster name="connectors" location="connectors\" recursive="true"/>
+		<cluster name="interface" location="src\" recursive="true"/>
+	</target>
+</system>
diff --git a/library/server/ewsgi/ewsgi-full.ecf b/library/server/ewsgi/ewsgi-full.ecf
index cab454ea..0c5ea0b7 100644
--- a/library/server/ewsgi/ewsgi-full.ecf
+++ b/library/server/ewsgi/ewsgi-full.ecf
@@ -7,7 +7,7 @@
 			<exclude>/\.git$</exclude>
 			<exclude>/\.svn$</exclude>
 		</file_rule>
-		<option warning="true" full_class_checking="true" is_attached_by_default="false" void_safety="none" syntax="provisional">
+		<option warning="true" full_class_checking="true" syntax="provisional">
 		</option>
 		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="ewsgi_spec" location="ewsgi_specification.ecf"/>
diff --git a/library/server/ewsgi/examples/hello_world/hello.ecf b/library/server/ewsgi/examples/hello_world/hello.ecf
new file mode 100644
index 00000000..f9d6b5cd
--- /dev/null
+++ b/library/server/ewsgi/examples/hello_world/hello.ecf
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-8-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-8-0 http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd" name="hello_world" uuid="734385F1-0D17-4B5F-9138-24DC8D4F06C6">
+	<target name="hello_world">
+		<root class="HELLO_WORLD" feature="make"/>
+		<file_rule>
+			<exclude>/EIFGENs$</exclude>
+			<exclude>/\.git$</exclude>
+			<exclude>/\.svn$</exclude>
+		</file_rule>
+		<option warning="true" full_class_checking="true" syntax="provisional">
+		</option>
+		<setting name="concurrency" value="thread"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
+		<library name="default_nino" location="..\..\default\ewsgi_nino.ecf" readonly="false"/>
+		<library name="connector_nino" location="..\..\connectors\nino\nino.ecf" readonly="false"/>
+		<library name="ewsgi_spec" location="..\..\ewsgi_specification.ecf" readonly="false"/>
+		<library name="ewsgi" location="..\..\ewsgi.ecf" readonly="false"/>
+		<cluster name="src" location="src\" recursive="true"/>
+	</target>
+</system>