--- projects/cms/source/server/build/etc/system.conf 2000/12/13 18:34:16 1.2 +++ projects/cms/source/server/build/etc/system.conf 2001/01/22 21:19:40 1.6 @@ -6,7 +6,7 @@ # root of configuration # # $Author: tdb $ -# $Id: system.conf,v 1.2 2000/12/13 18:34:16 tdb Exp $ +# $Id: system.conf,v 1.6 2001/01/22 21:19:40 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