Re: [MonetDB-users] ws_destroy()