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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions