Revision 353df59e6b05835c8352c035f1031642acae15b6

Committed on 29/08/2009 12:16 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Store execution state atomically.