diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-01 15:41:47 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-01 15:41:47 +0000 |
commit | c95b4ad2906ce4076f04e0969b7080c0589a8cea (patch) | |
tree | ce3d6690834645117d2d6dfa714161fe97e09ca6 /src/globals.cc | |
parent | d99d04e6442dcc39a24cebac01af117ce00a5006 (diff) |
* In normaliseFState(), wrap registration of the output paths and the
normal form in a single transaction to ensure that if we crash,
either everything is registered or nothing is. This is for
recoverability: unregistered paths in the store can be deleted
arbitrarily, while registered paths can only be deleted by running
the garbage collector.
Diffstat (limited to 'src/globals.cc')
0 files changed, 0 insertions, 0 deletions