-
Jelte Jansen authored
the mysql lease manager wouldn't close the mysql database immediately if initialization failed at certain points. This proposed fix is not entirely complete; it would probably be better to either use such a holder class as the member, or to slightly clean it up so that the return value from release() can be given to mysql_ (and therefore use the holder in the construction code instead of mysql_), but I did not want to touch too much existing code at this point.
21dae0aa