Re: [MonetDB-users] server crash/sql prompt