From f18ef477b8e8051f7c9ca13994f052735e72603b Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Sun, 25 Nov 2012 21:30:10 +0100
Subject: [PATCH] Included the library base(-safe).ecf which was forgotten by
 mistake.

---
 library/server/wsf/default/cgi-safe.ecf     | 1 +
 library/server/wsf/default/cgi.ecf          | 1 +
 library/server/wsf/default/libfcgi-safe.ecf | 1 +
 library/server/wsf/default/libfcgi.ecf      | 1 +
 library/server/wsf/default/nino-safe.ecf    | 1 +
 library/server/wsf/default/nino.ecf         | 1 +
 6 files changed, 6 insertions(+)

diff --git a/library/server/wsf/default/cgi-safe.ecf b/library/server/wsf/default/cgi-safe.ecf
index f10d0274..ed590547 100644
--- a/library/server/wsf/default/cgi-safe.ecf
+++ b/library/server/wsf/default/cgi-safe.ecf
@@ -8,6 +8,7 @@
 			<exclude>/\.svn$</exclude>
 		</file_rule>
 		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="provisional"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 		<library name="wsf" location="../wsf-safe.ecf"/>
 		<library name="wsf_cgi" location="../connector/cgi-safe.ecf"/>
 		<cluster name="default_cgi" location="./cgi" recursive="true"/>
diff --git a/library/server/wsf/default/cgi.ecf b/library/server/wsf/default/cgi.ecf
index 6b525b01..42f3b093 100644
--- a/library/server/wsf/default/cgi.ecf
+++ b/library/server/wsf/default/cgi.ecf
@@ -9,6 +9,7 @@
 		</file_rule>
 		<option warning="true" full_class_checking="true" syntax="provisional">
 		</option>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="wsf" location="../wsf.ecf"/>
 		<library name="wsf_cgi" location="../connector/cgi.ecf"/>
 		<cluster name="default_cgi" location="./cgi" recursive="true"/>
diff --git a/library/server/wsf/default/libfcgi-safe.ecf b/library/server/wsf/default/libfcgi-safe.ecf
index d22c1a37..4b6a9804 100644
--- a/library/server/wsf/default/libfcgi-safe.ecf
+++ b/library/server/wsf/default/libfcgi-safe.ecf
@@ -8,6 +8,7 @@
 			<exclude>/\.svn$</exclude>
 		</file_rule>
 		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="provisional"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 		<library name="wsf" location="../wsf-safe.ecf"/>
 		<library name="wsf_libfcgi" location="../connector/libfcgi-safe.ecf"/>
 		<cluster name="default_libfcgi" location="./libfcgi" recursive="true"/>
diff --git a/library/server/wsf/default/libfcgi.ecf b/library/server/wsf/default/libfcgi.ecf
index 2d49a118..57b00ded 100644
--- a/library/server/wsf/default/libfcgi.ecf
+++ b/library/server/wsf/default/libfcgi.ecf
@@ -8,6 +8,7 @@
 			<exclude>/\.svn$</exclude>
 		</file_rule>
 		<option warning="true" full_class_checking="true" syntax="provisional"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="wsf" location="../wsf.ecf"/>
 		<library name="wsf_libfcgi" location="../connector/libfcgi.ecf"/>
 		<cluster name="default_libfcgi" location="./libfcgi" recursive="true"/>
diff --git a/library/server/wsf/default/nino-safe.ecf b/library/server/wsf/default/nino-safe.ecf
index 83a163ce..8befe07f 100644
--- a/library/server/wsf/default/nino-safe.ecf
+++ b/library/server/wsf/default/nino-safe.ecf
@@ -8,6 +8,7 @@
 			<exclude>/\.svn$</exclude>
 		</file_rule>
 		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="provisional"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 		<library name="wsf" location="../wsf-safe.ecf"/>
 		<library name="wsf_nino" location="../connector/nino-safe.ecf"/>
 		<cluster name="default_nino" location="./nino" recursive="true"/>
diff --git a/library/server/wsf/default/nino.ecf b/library/server/wsf/default/nino.ecf
index 124053b9..e75641d1 100644
--- a/library/server/wsf/default/nino.ecf
+++ b/library/server/wsf/default/nino.ecf
@@ -8,6 +8,7 @@
 			<exclude>/\.svn$</exclude>
 		</file_rule>
 		<option warning="true" full_class_checking="true" syntax="provisional"/>
+		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<library name="wsf" location="../wsf.ecf"/>
 		<library name="wsf_nino" location="../connector/nino.ecf"/>
 		<cluster name="default_nino" location="./nino" recursive="true"/>