--- 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:23:16 1.7 @@ -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.7 2001/01/22 21:23:16 tdb Exp $ # FilterManager configuration @@ -34,12 +34,12 @@ Filter.parentFilter=root Host.filter=filter1 # The default update times for a new host -Host.UDPUpdateTime=5 +Host.UDPUpdateTime=10 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