summaryrefslogtreecommitdiff
path: root/data/rbot/contrib/plugins
diff options
context:
space:
mode:
authorGiuseppe Bilotta <giuseppe.bilotta@gmail.com>2011-01-28 10:07:44 +0100
committerGiuseppe Bilotta <giuseppe.bilotta@gmail.com>2011-01-28 10:07:44 +0100
commit334735b7f900644c10388e6c45345b62e9ad9c77 (patch)
treee0ebfc250cc0694b2f73e8a25c38de5605db35c6 /data/rbot/contrib/plugins
parent557a391d9253222ca80bb09c416bbe1eaf3c71a5 (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