|
|
|---|
| 447 |
# the saver history will get infinitively long; we should |
447 |
# the saver history will get infinitively long; we should |
| 448 |
# only support a limited amount of steps |
448 |
# only support a limited amount of steps |
| 449 |
if number >= 0: |
449 |
if number >= 0: |
| 450 |
self.saver_history[number]=cPickle.dumps(self.save) |
450 |
try: |
| 451 |
self.previous_number=number |
451 |
self.saver_history[number]=cPickle.dumps(self.save) |
|
|
452 |
self.previous_number=number |
| 453 |
except RuntimeError: |
| 454 |
pass |