change type of heart_beat_interval to interval (makes much more sese)

This commit is contained in:
Bernhard Amann 2012-03-30 08:40:38 -07:00
parent ef77b1447f
commit ead30e423d
2 changed files with 2 additions and 2 deletions

View file

@ -1489,7 +1489,7 @@ module Threading;
export {
## The heart beat interval used by the threading framework.
## Changing this should usually not be neccessary and will break several tests.
const heart_beat_interval = 1.0 &redef;
const heart_beat_interval = 1.0 secs &redef;
}
module GLOBAL;