An option to save TaskTimer data to file would be nice in cases where one would like to stop a program and continue again. Then one could continue at the right iteration, with statistics and predicted execution time preserved.
Thoughts: Is there a way to store general objects in Python? Perhaps a general mechanism of saving stuff in a loop for later continuation would be nice? Perhaps consider a small library for interruptable loops would be nice?
An option to save TaskTimer data to file would be nice in cases where one would like to stop a program and continue again. Then one could continue at the right iteration, with statistics and predicted execution time preserved.
Thoughts: Is there a way to store general objects in Python? Perhaps a general mechanism of saving stuff in a loop for later continuation would be nice? Perhaps consider a small library for interruptable loops would be nice?