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

    https://github.com/apache/flink/pull/4742#discussion_r142605823
  
    --- Diff: 
flink-clients/src/main/java/org/apache/flink/client/CliFrontend.java ---
    @@ -554,6 +557,18 @@ protected int stop(String[] args) {
                        return handleArgException(new CliArgsException("Missing 
JobID"));
                }
     
    +           // FLIP-6 specific branch
    +           try {
    +                   CustomCommandLine<?> activeCommandLine = 
getActiveCustomCommandLine(options.getCommandLine());
    +                   if (activeCommandLine instanceof  Flip6DefaultCLI) {
    +                           ClusterClient client = 
activeCommandLine.retrieveCluster(options.getCommandLine(), config, 
configurationDirectory);
    +                           client.stop(jobId);
    --- End diff --
    
    So this should be possible to change, right?


---

Reply via email to