diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-01T15·41+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-01T15·41+0000 |
| commit | c95b4ad2906ce4076f04e0969b7080c0589a8cea (patch) | |
| tree | ce3d6690834645117d2d6dfa714161fe97e09ca6 /externals | |
| 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 'externals')
0 files changed, 0 insertions, 0 deletions