From 41fea58220e763fcd55830a11a37ff44f21e4358 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 18 Jul 2007 11:26:52 +0000 Subject: [PATCH] Default tick interval was 50ms, change it to 20ms I think 50ms was accidental, prior to 6.6 it used to be 20ms --- rts/RtsFlags.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index a2d699d..639a915 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -203,8 +203,8 @@ void initRtsFlagsDefaults(void) RtsFlags.ProfFlags.bioSelector = NULL; #endif - RtsFlags.MiscFlags.tickInterval = 50; /* In milliseconds */ - RtsFlags.ConcFlags.ctxtSwitchTime = 50; /* In milliseconds */ + RtsFlags.MiscFlags.tickInterval = 20; /* In milliseconds */ + RtsFlags.ConcFlags.ctxtSwitchTime = 20; /* In milliseconds */ RtsFlags.MiscFlags.install_signal_handlers = rtsTrue; -- 1.7.10.4