Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "StatET/Advanced Configuration"
(→R-Help) |
|||
| Line 48: | Line 48: | ||
| comma separated list of package names | | comma separated list of package names | ||
| <code></code> | | <code></code> | ||
| + | | 4.3 - | ||
| + | |} | ||
| + | |||
| + | == RServi == | ||
| + | |||
| + | {| class ="wikitable" | ||
| + | |+ Java Properties | ||
| + | ! Property | ||
| + | ! Description | ||
| + | ! Value | ||
| + | ! Default | ||
| + | ! Version | ||
| + | |- | ||
| + | | <code>org.eclipse.statet.rj.servi.pool.client.AllocationRenewPeriod.millis</code> | ||
| + | | period in which the client has to renew its allocation | ||
| + | | milliseconds, <code>-1</code> to disable | ||
| + | | <code>600000</code> | ||
| 4.3 - | | 4.3 - | ||
|} | |} | ||
Revision as of 07:13, 9 February 2021
Auto Run
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.eutils.autorun.disable
|
disable the automatic start | true/false
|
false
|
4.0 - |
RMI (for RJ connection)
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.jcommons.rmi.registry.TcpPort
|
tcp port for the embedded RMI registry | port number or range of possible port numbers | 51100-51199
|
4.1 - |
R-Help
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.rhelp.PkgsToExclude.names
|
packages to exclude from help | comma separated list of package names | |
4.3 - |
RServi
| Property | Description | Value | Default | Version |
|---|---|---|---|---|
org.eclipse.statet.rj.servi.pool.client.AllocationRenewPeriod.millis
|
period in which the client has to renew its allocation | milliseconds, -1 to disable
|
600000
|
4.3 - |