--- projects/cms/source/server/build/etc/system.conf 2001/01/18 12:06:07 1.3 +++ projects/cms/source/server/build/etc/system.conf 2001/01/19 00:19:13 1.5 @@ -6,7 +6,7 @@ # root of configuration # # $Author: tdb $ -# $Id: system.conf,v 1.3 2001/01/18 12:06:07 tdb Exp $ +# $Id: system.conf,v 1.5 2001/01/19 00:19:13 tdb Exp $ # FilterManager configuration @@ -39,7 +39,7 @@ Host.TCPUpdateTime=60 # Plugin Information Filter.PluginsPackage=uk.ac.ukc.iscream.filter.plugins -Filter.Plugins=EnforceEssentialData +Filter.Plugins=TypeChecker;EnforceEssentialData # mySQL Details config.mySQL=mySQL.conf