Bastian, you might like to take a look at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=600683#15
It's not exactly what you wanted, but it gives you an easy way to activate/deactivate mr slaves. Richard -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
