This pull request changes the method for deleting older checkpoints. Instead of a blunt "rm -r" passed to a shell, each registered CheckpointEntry calls its remove method. Checkpointer then deletes the files that it wrote to the checkpoint (timers.txt, pv.params, pv.params.lua) and calls rmdir.
This pull request changes the method for deleting older checkpoints. Instead of a blunt "rm -r" passed to a shell, each registered CheckpointEntry calls its remove method. Checkpointer then deletes the files that it wrote to the checkpoint (timers.txt, pv.params, pv.params.lua) and calls rmdir.