Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
configuration [2020/06/17 19:53] – [config/config.properties] adminconfiguration [2024/01/02 19:39] (current) – [config/config.properties] admin
Line 47: Line 47:
  
 ==== config/config.properties ==== ==== config/config.properties ====
-  * ACT.gen.algorithm:  
-    * ipog - use algorithm IPO (default) 
-    * ipog_d - use algorithm IPO + Binary Construction (for large systems with > 20 variables and on average > 10 values per variable) 
-    * ipof - use the IPOF method 
-    * ipof2 - use the IPOF2method 
-    * basechoice - use Base Choice method 
-  * Exec.DelSnapScreenOnModelStart: Y/N, auto clear files in //snapscreen// folder before model execution 
-  * Exec.vu.ThreadPoolSize: >0 (default 5), max number of threads allowed for each virtual user (VU) - //Concurrent// models only 
   * Debug.print.plantUML: true/false (default false), internal use   * Debug.print.plantUML: true/false (default false), internal use
   * Debug.print.stateNetwork: true/false (default false), internal use   * Debug.print.stateNetwork: true/false (default false), internal use
   * Graph.orient: Horizontal or Vertical, GraphViz graph orientation, default Vertical   * Graph.orient: Horizontal or Vertical, GraphViz graph orientation, default Vertical
-  * IDE.msgHideMillis: >0 (default 5000), number of milliseconds to hide system/alert messages 
   * IDE.playModelDelay: >0 (default 100), pause in milliseconds used in //Play// model   * IDE.playModelDelay: >0 (default 100), pause in milliseconds used in //Play// model
   * IDE.shortcuts.xyz: ide toolbar, use menu to customize   * IDE.shortcuts.xyz: ide toolbar, use menu to customize
   * modelFolder: absolute file path for model folder (default "")   * modelFolder: absolute file path for model folder (default "")
-  * security.installation.id: identifier (default TOSVR), id to differentiate multiple //TestOptimal// server suites 
   * security.trusted.ip.addresses: ip addresses separated by comma (default *), server white list (//SvrMgr// server only)   * security.trusted.ip.addresses: ip addresses separated by comma (default *), server white list (//SvrMgr// server only)
   * security.password.xyz: password, xyz is email address you registered, password is encrypted. To change password: shut down server and enter new password. New password will be encrypted automatically when server is re-started.   * security.password.xyz: password, xyz is email address you registered, password is encrypted. To change password: shut down server and enter new password. New password will be encrypted automatically when server is re-started.
-  * svrmgr.host: host name (default localhost), //SvrMgr// to upload execution stats (//Runtime Server// only) 
-  * svrmgr.port: port number (default 8888), see //svrmgr.host// above 
-  * Startup.SyncModel: Y/N (default N), auto refresh models from //SvrMgr// on server startup - //Runtime Server// only 
-  * Model.archive.includeRegExp: regular expression on file names to be included in the archive, default ".*\.(gvy|json|txt|ds|tsv|xls)$"    
   * License.Ack*: Y/N (default N), set it to N to force prompt to create account, server restart required   * License.Ack*: Y/N (default N), set it to N to force prompt to create account, server restart required
-  * License.Check*: encoded, internal use only 
   * License.Email*: licensed email address   * License.Email*: licensed email address
   * License.LicKey*: license key   * License.LicKey*: license key
  
-* To reset license and security, shut down server, remove all settings "License.*" and restart server.+* To reset security, shut down server, remove all settings "License.*" and restart server.