| Sat, 17 Oct 2015 11:31:22 -0400 |
Adam Chlipala |
Database-server reconnection for MySQL |
| Sat, 17 Oct 2015 11:08:12 -0400 |
Adam Chlipala |
Switching to a more dynamic method of handling database reconnection, restarting transactions |
| Sat, 17 Oct 2015 10:49:25 -0400 |
Adam Chlipala |
Start of support for surviving database-server restarts, for Postgres |
| Wed, 07 Jan 2015 09:25:13 -0500 |
Adam Chlipala |
Fix arguments to PQprepare() |
| Mon, 17 Feb 2014 14:34:48 -0500 |
Adam Chlipala |
MySQL does case-sensitive catalog queries |
| Tue, 14 Jan 2014 19:22:53 -0500 |
Adam Chlipala |
MySQL: set character set when opening a new connection |
| Tue, 07 Jan 2014 08:36:18 -0500 |
Adam Chlipala |
MySQL: Combine transaction setup commands into one mysql_query() |
| Sun, 05 Jan 2014 20:20:09 -0500 |
Adam Chlipala |
MySQL: catch deadlocks during queries |
