Revision 353df59e6b05835c8352c035f1031642acae15b6

Committed on 29/08/2009 12:16 pm by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Store execution state atomically.