GitHub user zentol opened a pull request:

    [FLINK-9154][REST][docs] Document WebSubmissionExtension handlers

    ## What is the purpose of the change
    With this PR the handlers defined in the `WebSubmissionExtension` (for 
running jars, creating plans etc.) are now part of the REST API documentation.
    ## Brief change log
    * ensure the WebSubmissionExtension can be loaded by the generator
    * regenerate documentation

You can merge this pull request into a Git repository by running:

    $ git pull 9154

Alternatively you can review and apply these changes as the patch at:

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #5833
commit a6c9ac5029d0cc38e3bda69a4d3325c391656fa1
Author: zentol <chesnay@...>
Date:   2018-04-10T11:38:10Z

    [FLINK-9154][REST][docs] Document WebSubmissionExtension handlers



Reply via email to