The version update was sometimes not completed because the PAS server could not be stopped

When updating, it could happen that the PAS server could not be stopped, causing the version update to not be completed.