KB240060560: Esko Proof Server - Uninstalling the previous version fails on a non English OS

Summary

Uninstalling the previous Proof Server version (only on a non-English OS) fails with:

""goto"" can not be processed syntactically at this point" (usually in the local language).

Symptoms

Uninstalling the previous Proof Server version (only on a non-English OS) fails with:

""goto" can not be processed syntactically at this point" (usually in the local language, f.i. ""goto" kann syntaktisch an dieser Stelle nicht verarbeitet werden" on a German OS):

As uninstalling the previous version is a prerequisite to install the new version, you cannot install the Proof Server upgrade.

Solution

This issue is fixed in Proof Server version 18.1 (Q2 2019 Release).

Workaround

Uninstall the previous Proof Server version using the default Windows OS Programs and Features (or similar) in the Control Panel.