La guarnición, según lo estipulado, debía salir con los honores militares por la puerta del Portillo.