From 9fef2d71f053c32c9e4c55984d53ebefe7a02c15 Mon Sep 17 00:00:00 2001
From: jvelilla <javier.hector@gmail.com>
Date: Mon, 5 Sep 2011 09:18:39 -0300
Subject: [PATCH] Fixed ecf files that cause a cat-call in the example web
 server.

---
 example/SimpleWebServer/web_server.ecf | 6 +++---
 nino.ecf                               | 5 ++---
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/example/SimpleWebServer/web_server.ecf b/example/SimpleWebServer/web_server.ecf
index 7a9758a1..af99531c 100644
--- a/example/SimpleWebServer/web_server.ecf
+++ b/example/SimpleWebServer/web_server.ecf
@@ -3,19 +3,19 @@
 	<target name="web_server">
 		<root class="APPLICATION" feature="make"/>
 		<file_rule>
+			<exclude>/.git$</exclude>
 			<exclude>/EIFGENs$</exclude>
 			<exclude>/CVS$</exclude>
 			<exclude>/.svn$</exclude>
-			<exclude>/.git$</exclude>
 		</file_rule>
-		<option warning="true" is_attached_by_default="true" void_safety="all">
+		<option warning="true" is_attached_by_default="true" void_safety="none">
 			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
 		</option>
 		<setting name="concurrency" value="thread"/>
 		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="net" location="$ISE_LIBRARY\library\net\net.ecf"/>
+		<library name="nino" location="..\..\nino.ecf"/>
 		<library name="thread" location="$ISE_LIBRARY\library\thread\thread.ecf"/>
-		<library name="nino" location="../../nino.ecf"/>
 		<cluster name="src" location=".\" recursive="true"/>
 	</target>
 </system>
diff --git a/nino.ecf b/nino.ecf
index 7ed60bda..0b16ecfa 100644
--- a/nino.ecf
+++ b/nino.ecf
@@ -8,14 +8,13 @@
 			<exclude>/CVS$</exclude>
 			<exclude>/.svn$</exclude>
 		</file_rule>
-		<option warning="true">
+		<option warning="true" void_safety="none">
 			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
 		</option>
 		<setting name="concurrency" value="thread"/>
 		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="net" location="$ISE_LIBRARY\library\net\net.ecf"/>
 		<library name="thread" location="$ISE_LIBRARY\library\thread\thread.ecf"/>
-		<cluster name="nino" location=".\library\" recursive="true">
-		</cluster>
+		<cluster name="nino" location=".\library\" recursive="true"/>
 	</target>
 </system>