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"
Line 14: | Line 14: | ||
| <code>false</code> | | <code>false</code> | ||
| 4.0 - | | 4.0 - | ||
+ | |} | ||
+ | |||
+ | |||
+ | == RMI (for RJ R connection) == | ||
+ | |||
+ | {| class ="wikitable" | ||
+ | |+ Java Properties | ||
+ | ! Property | ||
+ | ! Description | ||
+ | ! Value | ||
+ | ! Default | ||
+ | ! Version | ||
+ | |- | ||
+ | | <code>org.eclipse.statet.jcommons.rmi.registry.TcpPort</code> | ||
+ | | tcp port for the embedded RMI registry | ||
+ | | port number or range of possible port numbers | ||
+ | | <code>51100-51199</code> | ||
+ | | 4.1 - | ||
|} | |} | ||
Revision as of 09:33, 20 September 2020
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 R 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.r.rhelp.PkgsToExclude.names
|
packages to exclude from help | comma separated list of package names |
|
4.1 - |