Fixed a bug in the ExecuteBoxFilterWorker stored procedure, which had to do with the extra parameters encoded in the server name.