Fixed portal redeployment, update portal-ext.properties