diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T15·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T15·16+0000 |
| commit | cbfac2fdccc83b04d9c2027e9e21070d4ac7c7e5 (patch) | |
| tree | 9bff2f93fb123a3ad05bb3712e3d2a875c6da53b /doc/manual/nix-pull.xml | |
| parent | 644946feed146396c00c288337bad26428970aa4 (diff) | |
* Set a terminate() handler to ensure that we leave the BDB
environment cleanly even when an exception is thrown from a destructor. We still crash, but we don't take all other Nix processes with us.
Diffstat (limited to 'doc/manual/nix-pull.xml')
0 files changed, 0 insertions, 0 deletions