Pasó la guerra civil en el frente republicano.