| |
|||
| |
|
|
|
| AutoRestartDuration | If this property is greater than 0, if a server has been running more than the specified value (in minutes), and has failed, it will be restart automaticly. | int | 0 |
| LogFileHome | The home directory to log servers traces. For Linux the default value is /var/tmp For Win32 it is c:\temp |
String | none |
| NbStartupLevels | Number of startup levels managed by starter. | short | 5 |
| ReadInfoDbPeriod | Period to read database for new info if not fired from Database server. | short | none |
| ServerStartupTimeout | Timeout on device server startup in seconds. | int | 1 |
| StartServersAtStartup | Skip starting servers at startup if false. It a way to do not have a big re-start of many servers after a power cut. | boolean | true |
| UseEvents | Use events if not null. | short | 0 |
| |
|||
| |
|
|
|
| AutoRestartDuration | If this property is greater than 0, if a server has been running more than the specified value (in minutes), and has failed, it will be restart automaticly. | int | 0 |
| InterStartupLevelWait | Time to wait before two startup levels in seconds. | int | 1 |
| KeepLogFiles | Number of log file kept. | int | 3 |
| LogFileHome | The home directory to log servers traces. For Linux the default value is /var/tmp For Win32 it is c:\temp |
String | none |
| ServerStartupTimeout | Timeout on device server startup in seconds. | int | 5 |
| StartDsPath | Path to find executable files to start device servers |
String[] | none |
| StartServersAtStartup | Skip starting servers at startup if false. | boolean | true |
| UseEvents | Use events if not null. | short | 0 |
| WaitForDriverStartup | The Starter will wait a bit before starting servers, to be sure than the drivers are started.This time is in seconds. |
short | 0 |