[GitHub] flink pull request #3731: [FLINK-6317] Fix wrong default directory for histo...

2017-04-18 Thread LorenzBuehmann
GitHub user LorenzBuehmann opened a pull request: https://github.com/apache/flink/pull/3731 [FLINK-6317] Fix wrong default directory for history server This PR will fix the issue with the missing file separator when using the default Java temp directory for the history server. You

[GitHub] flink issue #3072: [Flink-5378] Update Scopt version to 3.5.0

2017-01-09 Thread LorenzBuehmann
Github user LorenzBuehmann commented on the issue: https://github.com/apache/flink/pull/3072 Hm, ok. One test failed, but that's strange since it has nothing to do with Scopt nor the Moreover, it failed only for one profile. According to https://issues.apache.org/jira/browse/FLINK

[GitHub] flink pull request #3072: [Flink-5378] Update Scopt version to 3.5.0

2017-01-06 Thread LorenzBuehmann
GitHub user LorenzBuehmann opened a pull request: https://github.com/apache/flink/pull/3072 [Flink-5378] Update Scopt version to 3.5.0 This will also allow for using comma-separated values in the CLI. Note, as per https://github.com/scopt/scopt/releases/tag/v3.5.0 Scopt