| Wed, 10 Jul 2013 23:25:28 +0200 | wenzelm | more abstract message channel; | changeset | files |
| Wed, 10 Jul 2013 22:56:48 +0200 | wenzelm | explicit shutdown of message output thread; | changeset | files |
| Wed, 10 Jul 2013 22:04:57 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 10 Jul 2013 21:54:43 +0200 | wenzelm | no need for raw stdin; | changeset | files |