| Mon, 23 Aug 2010 16:53:22 +0200 | wenzelm | main session actor as independent thread, to avoid starvation via regular worker pool; | changeset | files |
| Mon, 23 Aug 2010 16:50:09 +0200 | wenzelm | optional daemon flag; | changeset | files |
| Mon, 23 Aug 2010 16:13:13 +0200 | wenzelm | tuned; | changeset | files |