/
How to update the License port
Document toolboxDocument toolbox

How to update the License port

Owned by Support (Unlicensed), created
Last updated: Thu Apr 27, 2023
1 min read

This article shows you how to define a different port

 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.

 Related articles