Make stats:dump_period work even if dump_cycle isn't set.
authorSteve Reinhardt <stever@eecs.umich.edu>
Mon, 2 Feb 2004 15:19:45 +0000 (07:19 -0800)
committerSteve Reinhardt <stever@eecs.umich.edu>
Mon, 2 Feb 2004 15:19:45 +0000 (07:19 -0800)
--HG--
extra : convert_revision : 9e85c0fa0f6c5393dd8e91034a49975628cf825d


No differences found