[PATCH 2/2] The return value from execWithRedirect is an int (#891313).