Fri, 23 Sep 2011 13:44:31 +0200 | wenzelm | explicit option for socket vs. fifo communication; | file | diff | annotate |
Wed, 21 Sep 2011 22:18:17 +0200 | wenzelm | alternative Socket_Channel; | file | diff | annotate |
Wed, 21 Sep 2011 20:35:50 +0200 | wenzelm | more abstract wrapping of fifos as System_Channel; | file | diff | annotate |