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 can merge this pull request into a Git repository by running:
$ git pull https://github.com/LorenzBuehmann/flink master
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/3731.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 #3731
----
commit 85aa6079fe610fe4cce066da90edcc7cf87a9704
Author: Lorenz Buehmann <[email protected]>
Date: 2017-01-06T12:34:13Z
[Flink-5378] Bumped Scopt version to 3.5.0.
This will also allow for using comma-separated values in the CLI.
commit ae62e2d962133e0cb90b26a6d4764be263bdaf41
Author: Lorenz Buehmann <[email protected]>
Date: 2017-04-18T07:15:05Z
Merge branch 'master' of github.com:LorenzBuehmann/flink
commit c815bad3817f22d711c108a97f11c68df2b5d3db
Author: Lorenz Buehmann <[email protected]>
Date: 2017-04-18T07:28:18Z
[FLINK-6317] Fix wrong default directory for history server
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
