[Monetdb-developers] kill client mil command

MonetDB developers

Are there any users of the kill client mil command (in src/modules/plain/kernel.mx). If not I'd like to remove it as the required pthread functionality (pthread_kill) isn't available with the same semantics on all platforms. Also just killing a client may lead to crashing servers (see bug 1145484).

Niels