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 /data/rbot/contrib/plugins | |
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 'data/rbot/contrib/plugins')
0 files changed, 0 insertions, 0 deletions