[GitHub] flink pull request #5933: [FLINK-9125] MiniClusterResource should set CoreOp...

[GJL]

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

    https://github.com/apache/flink/pull/5933#discussion_r185596918
  
    --- Diff: 
flink-test-utils-parent/flink-test-utils/src/main/java/org/apache/flink/test/util/MiniClusterResource.java
 ---
    @@ -137,6 +142,7 @@ public int getWebUIPort() {
     
        @Override
        public void before() throws Exception {
    +           temporaryFolder.create();
    --- End diff --
    
    good point


---