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