| Sat, 09 Apr 2011 14:36:47 -0400 |
Adam Chlipala |
Each context gets its own non-repeating sequence of source numbers |
| 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 |
| Sun, 23 Jan 2011 18:16:30 -0500 |
Adam Chlipala |
Proper error handling for periodic tasks |
| Sun, 23 Jan 2011 17:27:51 -0500 |
Adam Chlipala |
Fix detection of POSTs to error pages |
| Sun, 23 Jan 2011 15:34:06 -0500 |
Adam Chlipala |
Only announce URI serving in standalone HTTP server (grandfathered into release!) |
| Thu, 06 Jan 2011 14:45:52 -0500 |
Adam Chlipala |
Basis.currentUrlHasPost |
| Mon, 03 Jan 2011 14:19:36 -0500 |
Adam Chlipala |
Remove unnecessary #include (patch from Karn Kallio) |
| Mon, 27 Dec 2010 12:08:00 -0500 |
Adam Chlipala |
Fix time comparison operators; safer saving of queryStrings |
