[ 
https://issues.apache.org/jira/browse/FLINK-5781?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16004248#comment-16004248
 ] 

ASF GitHub Bot commented on FLINK-5781:
---------------------------------------

Github user dawidwys commented on the issue:

    https://github.com/apache/flink/pull/3495
  
    There is a problem with the prefix solution. See the mentioned JobManager 
and WebFrontentd options, prefix for JobManager options is "jobmanager" which 
also covers prefix for WebFrontend options which is "jobmanager.web".


> 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)

Reply via email to