[GitHub] flink pull request #5833: [FLINK-9154][REST][docs] Document WebSubmissionExt...

[asfgit]

Github user asfgit closed the pull request at:

https://github.com/apache/flink/pull/5833


---

[GitHub] flink pull request #5833: [FLINK-9154][REST][docs] Document WebSubmissionExt...

[zentol]

GitHub user zentol opened a pull request:

https://github.com/apache/flink/pull/5833

[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 https://github.com/zentol/flink 9154

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

https://github.com/apache/flink/pull/5833.patch

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 
Date:   2018-04-10T11:38:10Z

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




---