Re: [Monetdb-developers] kill client mil command