[MonetDB-users] sql client - terminate batch job