Fix double-scheduled timer problem caused by reloading the jobs file.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 22 Feb 2012 18:15:57 +0000 (18:15 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 22 Feb 2012 18:16:18 +0000 (18:16 +0000)
commitff70665ff06a3b13fb0a64e6f290321dd588d21d
tree9c5aabbda69626a7d3169940d831b8716cf3b95b
parentae04f3d8ec2b315f603dc266eab5a4ea73877931
Fix double-scheduled timer problem caused by reloading the jobs file.
daemon/daemon.ml