Re: [Monetdb-developers] Restart mclient