# # patch "cvs_repository.cc" # from [3fc332d06970ce92b71c1bec17e2e6ec68915341] # to [ff426e5d92dd8fdcd3d55805999b410677cf98db] # --- cvs_repository.cc +++ cvs_repository.cc @@ -1796,7 +1796,9 @@ } std::pair key(var_domain("cvs-server-path"), var_name(name)); var_value oldval; - app.db.get_var(key,oldval); + try + { app.db.get_var(key,oldval); + } catch (logic_error &e) {} if (oldval()!=value) app.db.set_var(key, value); } @@ -1805,8 +1807,9 @@ std::string name=host+":"+root+"\t"+module+"\n"; std::pair key(var_domain("cvs-server-path"), var_name(name)); var_value value; - app.db.get_var(key,value); - if (value().empty()) return; + try { + app.db.get_var(key,value); + } catch (logic_error &e) { return; } std::map sd; std::vector pieces; std::string value_s=value();