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)
commit7c8413db101e1f0c92b10aab7130b34fe888391d
tree1d3bb09af9ebe825f4dfef0ce44e93dbb064d5dc
parent60279bb67ee897de99c014ff7a4711467c0e1cd7
Make stats:dump_period work even if dump_cycle isn't set.

--HG--
extra : convert_revision : 9e85c0fa0f6c5393dd8e91034a49975628cf825d