diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2011-01-28 10:07:44 +0100 |
|---|---|---|
| committer | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2011-01-28 10:07:44 +0100 |
| commit | 334735b7f900644c10388e6c45345b62e9ad9c77 (patch) | |
| tree | e0ebfc250cc0694b2f73e8a25c38de5605db35c6 /Usage_en.txt | |
| parent | 557a391d9253222ca80bb09c416bbe1eaf3c71a5 (diff) | |
bdb: support running without envs
The various checkpointing function may be called when no env has been
loaded (yet), support this.
Diffstat (limited to 'Usage_en.txt')
0 files changed, 0 insertions, 0 deletions