# 
# patch "cvs_sync.cc"
#  from [2464d951fb80346171e624491eba30d71dbc0d74]
#    to [bce8c59697a15e38ce19e850aaa7921a66d44b5a]
# 
========================================================================
--- cvs_sync.cc	2464d951fb80346171e624491eba30d71dbc0d74
+++ cvs_sync.cc	bce8c59697a15e38ce19e850aaa7921a66d44b5a
@@ -1792,7 +1792,7 @@
   var_value oldval;
   try 
   { app.db.get_var(key,oldval);
-  } catch (logic_error &e) {}
+  } catch (...) {}
   if (oldval()!=value) app.db.set_var(key, value);
 }
 
@@ -1803,7 +1803,7 @@
   var_value value;
   try {
     app.db.get_var(key,value);
-  } catch (logic_error &e) { return; }
+  } catch (...) { return; }
   std::map<std::string,std::string> sd;
   piece::piece_table pieces;
   std::string value_s=value();