log

age author description
Fri, 18 Mar 2011 09:12:55 -0400 Adam Chlipala Exit periodic loop if a ROLLBACK fails, to avoid infinite looping when the database server is brought down