var a00129 = [ [ "NonInitialisedDBSessionManagerException", "a00129.html#a261fa8dfe591c422a855ec5175d2c9a4", null ], [ "what", "a00129.html#ac30aff721b6d55314ca40286a80b1e07", null ], [ "_what", "a00129.html#a2ea1479930a041b204bc461dcc5efda4", null ] ];