Tue, 19 Feb 2008 14:52:40 +0100 etisserant Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.