| Thu, 11 Jul 2013 10:43:53 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 10 Jul 2013 23:30:10 +0200 | wenzelm | added "echo" command for demonstration purposes; | changeset | files |
| 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 |