| Sun, 05 Apr 2009 12:05:19 -0400 |
Adam Chlipala |
Initialize contexts a little more vigorously |
| Sun, 05 Apr 2009 11:24:55 -0400 |
Adam Chlipala |
RoundTrip demo |
| Sun, 05 Apr 2009 09:26:00 -0400 |
Adam Chlipala |
Avoid generating empty <script> blocks |
| Sat, 04 Apr 2009 15:56:47 -0400 |
Adam Chlipala |
sleep and better Scriptcheck |
| Sat, 04 Apr 2009 14:55:36 -0400 |
Adam Chlipala |
spawn |
| Sat, 04 Apr 2009 14:03:39 -0400 |
Adam Chlipala |
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned |
| Thu, 02 Apr 2009 13:48:59 -0400 |
Adam Chlipala |
Make sure only one pull request runs at a time for each client |
| Thu, 02 Apr 2009 11:42:26 -0400 |
Adam Chlipala |
On start-up, delete/nullify rows mentioning clients or channels |
| Thu, 02 Apr 2009 10:55:00 -0400 |
Adam Chlipala |
Stop holding client locks throughout request processing |
| Sun, 29 Mar 2009 14:13:50 -0400 |
Adam Chlipala |
Expunging nullable fields |
| Sun, 29 Mar 2009 13:30:01 -0400 |
Adam Chlipala |
Expunging non-nullable rows |
| Sun, 29 Mar 2009 11:37:29 -0400 |
Adam Chlipala |
Redo channels, making them single-client |
| Sat, 28 Mar 2009 11:15:42 -0400 |
Adam Chlipala |
Switch back to starting listener on load |
| Thu, 26 Mar 2009 18:26:50 -0400 |
Adam Chlipala |
Chat example working nicely, but without dead channel removal |
| Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |
| Tue, 24 Mar 2009 15:35:46 -0400 |
Adam Chlipala |
Variable timeouts and client keep-alive |
| Tue, 24 Mar 2009 15:05:28 -0400 |
Adam Chlipala |
Fix some AJAX annoyances |
| Tue, 24 Mar 2009 14:44:45 -0400 |
Adam Chlipala |
Transactionalize channel operations |
| Sun, 22 Mar 2009 15:16:34 -0400 |
Adam Chlipala |
Press a button to send a message |
| Sun, 22 Mar 2009 15:05:07 -0400 |
Adam Chlipala |
First message send delivered, but not interpreted |
| Thu, 19 Mar 2009 16:34:13 -0400 |
Adam Chlipala |
Dummy message delivery to clients |
| Thu, 19 Mar 2009 13:47:02 -0400 |
Adam Chlipala |
Factor out some common buffer functionality |
| Tue, 10 Mar 2009 11:18:01 -0400 |
Adam Chlipala |
React demo |
| Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
| Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
| Thu, 01 Jan 2009 15:59:02 -0500 |
Adam Chlipala |
Injecting a float |
| Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
| Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
| Fri, 19 Dec 2008 12:38:11 -0500 |
Adam Chlipala |
Displayed an alert dialog |
| Fri, 19 Dec 2008 11:47:18 -0500 |
Adam Chlipala |
Creation of sources in server code |
