Re: [MonetDB-users] Server socket stays 'open' after crash