Re: [MonetDB-users] MonetDB shows error after graceful stop