log

age author description
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
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Fri, 06 Dec 2013 08:54:03 -0500 Adam Chlipala Small reformatting and documentation for '-print-cinclude'
Wed, 06 Nov 2013 13:54:07 +0400 Sergey Mironov Add -print-cinlude command line option
Fri, 06 Dec 2013 08:44:26 -0500 Adam Chlipala Add 'xhead' case to Monoize