extend std::exception logging in txdb.cpp