-
Mike Hibler authored
that pumps up bgmon. To use: set USE_DBMONITOR non-zero modify DBMONITOR_INTERVAL from the default 10 seconds if desired make sure there are enough nodes listed in PLABNODES These things can either be modified in the template, or in the instantiation params.
2b124dad