[GitHub] flink pull request #5430: [FLINK-8605] [rest] Enable job cancellation from t...

[GJL]

Github user GJL commented on a diff in the pull request:

    https://github.com/apache/flink/pull/5430#discussion_r168420232
  
    --- Diff: 
flink-runtime/src/main/java/org/apache/flink/runtime/webmonitor/WebMonitorEndpoint.java
 ---
    @@ -593,6 +617,8 @@ public void shutdown(Time timeout) {
                } catch (Exception e) {
                        log.warn("Error while stopping leaderElectionService", 
e);
                }
    +
    +           super.shutdown(timeout);
    --- End diff --
    
    ok


---