| Wed, 01 Jan 2014 10:51:47 -0500 |
Adam Chlipala |
Add some URL-related benignEffectful functions |
| Tue, 31 Dec 2013 11:10:19 -0500 |
Adam Chlipala |
Return to working version mode |
| Tue, 31 Dec 2013 10:48:50 -0500 |
Adam Chlipala |
New release |
| Tue, 31 Dec 2013 09:34:41 -0500 |
Adam Chlipala |
Do a bit of extra userspace copying to send HTTP response with a single system call |
| Mon, 30 Dec 2013 11:01:42 -0500 |
Adam Chlipala |
HTTP: continue after accept() failure |
| Sun, 29 Dec 2013 13:18:50 -0500 |
Adam Chlipala |
Compile-time error for periodic tasks in nonpersistent protocols |
| Sun, 29 Dec 2013 10:29:26 -0500 |
Adam Chlipala |
Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers |
| Sat, 28 Dec 2013 06:30:21 -0500 |
Adam Chlipala |
How embarrassing; didn't try compiling before committing |
| Sat, 28 Dec 2013 06:27:08 -0500 |
Adam Chlipala |
Make HTTP keepalive switch between available connections to improve throughput |
| Fri, 27 Dec 2013 12:30:44 -0500 |
Adam Chlipala |
Change where a transaction is marked finished, to avoid forgetting to rollback a failed transaction |
| Fri, 27 Dec 2013 12:10:03 -0500 |
Adam Chlipala |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs |
| Wed, 25 Dec 2013 13:11:43 -0500 |
Adam Chlipala |
Tweaking handling of database transactions |
| Wed, 25 Dec 2013 12:02:42 -0500 |
Adam Chlipala |
Add a bit of manual clarification about channels and clients |
| Wed, 25 Dec 2013 11:43:41 -0500 |
Adam Chlipala |
No need to ROLLBACK after a failed COMMIT |
| Mon, 23 Dec 2013 15:59:17 +0000 |
Adam Chlipala |
Proper handling of serialization failures during SQL COMMIT |
| Tue, 17 Dec 2013 20:12:33 -0500 |
Adam Chlipala |
Fix compilation of apps that don't use database; fix HTTP pipelining |
| Thu, 12 Dec 2013 17:42:48 -0500 |
Adam Chlipala |
Start SQL transactions as read-only when possible, based on conservative program analysis |
| Thu, 12 Dec 2013 10:31:34 -0500 |
Adam Chlipala |
Only output Content-script-type header when there is client-side code |
| Thu, 12 Dec 2013 10:24:38 -0500 |
Adam Chlipala |
HTTP: avoid duplicate Content-length |
| Wed, 11 Dec 2013 18:54:42 -0500 |
Adam Chlipala |
RAND_bytes isn't thread-safe, so wrap it with a lock |
| Wed, 11 Dec 2013 18:22:10 -0500 |
Adam Chlipala |
Change handling of returned text blobs, to activate the normal EWrite optimizations |
| Wed, 11 Dec 2013 14:57:54 -0500 |
Adam Chlipala |
Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL |
| Wed, 11 Dec 2013 11:06:08 -0500 |
Adam Chlipala |
Add '-q' option to HTTP binaries |
| Mon, 07 Oct 2013 14:08:10 +0400 |
Sergey Mironov |
Add show instance for 'id' type |
| Mon, 09 Dec 2013 17:25:53 -0500 |
Adam Chlipala |
Merge |
| Mon, 09 Dec 2013 17:23:25 -0500 |
Adam Chlipala |
Add JavaScript mappings for isprint and ord |
| Mon, 09 Dec 2013 15:47:14 -0500 |
Adam Chlipala |
Rename <activeHead> to <script> and make it work properly |
| Fri, 06 Dec 2013 14:52:47 +0400 |
Sergey Mironov |
activeHead: don't modify the head. just execute the code provided |
