[
https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16000733#comment-16000733
]
ASF GitHub Bot commented on FLINK-5781:
---------------------------------------
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/3495
Ran into an issue. Some config parameters, like `jobmanager.web.tmpdir`,
have non-constant default values that are evaluated at runtime, like
`System.getProperty("java.tmpdir")`. These values now show up in the generated
table as the default value.
I see two ways to fix this: Either enforce, manually i might add, that all
default values must be constant, or explicitly mark these kind of default
values as dynamic in the OptionBuilder, with a new method like
`withDynamicDefaultValue(T value, String origin)`.
> Generation HTML from ConfigOption
> ---------------------------------
>
> Key: FLINK-5781
> URL: https://issues.apache.org/jira/browse/FLINK-5781
> Project: Flink
> Issue Type: Sub-task
> Components: Documentation
> Reporter: Ufuk Celebi
> Assignee: Dawid Wysakowicz
>
> Use the ConfigOption instances to generate a HTML page that we can use to
> include in the docs configuration page.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
