Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Next »

This article shows you how to define a different port

\uD83D\uDCD8 Instructions

  1. Right click on your license file and select Edit with Notepad++

  2. Under Server Details, change the port number as required

  3. Go to your Theorem Installation directory, right click on the ts_env.bat file and select Edit with Notepad++

  4. On Line 6, THEOREM_LICENSE_FILE, change the port number as required.

Note - The port number can also be specified when installing the translator.

Highlight important information in a panel like this one. To edit this panel's color or style, select one of the options in the menu.

  • No labels