22 Feb
2005
22 Feb
'05
8:11 a.m.
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 -- Niels Nes, Centre for Mathematics and Computer Science (CWI) Kruislaan 413, 1098 SJ Amsterdam, The Netherlands room C0.02, phone ++31 20 592-4098, fax ++31 20 592-4312 url: http://www.cwi.nl/~niels e-mail: Niels.Nes@cwi.nl