The Windows version of the ProMod-PLUS Option Management System consists of a two-level hierarchy of options databases, which are searched for options. The options are divided into User and Server options. The Server options are only available in the client version.
The syntax of ProMod-PLUS option files is similar to Windows
.ini files:[<component>]
<key>=<value>
...
[<component> <project>]
<key>=<value>
...
Component
stands for one of the ProMod-PLUS tools. The optional project part enables you to set options for particular projects only. Key describes the name of the option. The equals sign is followed by the value of the option.For example:
ooGlobalIncludeHierarchy=TRUE
No checks are carried out on the options. Possible causes of error are: trailing blanks in command lines, invalid values, for example in enumeration types, can lead to very strange effects. We therefore recommend that inexperienced users only change the options interactively from the ProMod-PLUS option boxes rather than directly entering or changing the options as text.
A complete description of all the options is contained in the Windows Write document
promini.wri in the ProMod-PLUS installation directory. Note: You can only use the values described in the promini.wri file. Usually no checks are carried out on the options.The User options always have the highest priority. They belong to the ProMod-PLUS session and are stored by default in the file
ProMod.ini. This file is read in at the start of a session and is searched at first in the current working directory, then in the bin subdirectory of the installation directory, and at last in the Windows directory. At the end of the session you can choose to save to the file the options that you have changed during the session. Using the commands "Restore" and "Save" you can read the file or write to the file during the session.Note: The project list is also administered as an option. Therefore after the creation of a project you should save the options.
By editing the User options you can for example change an option so that it applies to all projects and not just to the current project. Under normal circumstances the User options would only contain those options that can be changed while using ProMod-PLUS. However, the User options can contain any valid option. If you want to add an option to the User options you could open an editor containing the Server options and then copy the relevant lines into the User options. When you have finished editing the options you should save them before exiting from the editor. The saved options then apply to the current session. They are not yet written to the User option file. This enables you to experiment with the options before you are committed to changing the options file. To save the current options to the User option file you must then use the Save command or save the options on exiting ProMod-PLUS.
The remaining part of this section is only valid for client versions.
The Server options cannot be changed during a session and should be regarded as the default options. When the server is started these options are read from the file
pro_server.opt in the prd subdirectory of the ProMod-PLUS installation directory (Unix servers) or from the file promod.ini located on the server PC (Windows servers). They should only be changed by the system administrator, for example, when creating a project for several users or when creating project-specific or global options.Using the command "View Server" you can view the current Server options. If you want to change the options for your ProMod-PLUS session only, you can use Copy and Paste to transfer the respective lines to the User options.