[
https://issues.apache.org/jira/browse/FLINK-6317?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15972445#comment-15972445
]
ASF GitHub Bot commented on FLINK-6317:
---------------------------------------
Github user zentol commented on the issue:
https://github.com/apache/flink/pull/3731
Good catch, merging.
> History server - wrong default directory
> ----------------------------------------
>
> Key: FLINK-6317
> URL: https://issues.apache.org/jira/browse/FLINK-6317
> Project: Flink
> Issue Type: Bug
> Components: Web Client
> Affects Versions: 1.2.0
> Reporter: Lorenz Bühmann
> Priority: Minor
> Labels: easyfix
>
> When the history server is started without a directory specified in the
> configuration file, it will use some random directory located in the Java
> Temp directory. Unfortunately, a file separator is missing:
> {code:title=HistoryServer.java@L139-L143|borderStyle=solid}
> String webDirectory =
> config.getString(HistoryServerOptions.HISTORY_SERVER_WEB_DIR);
> if (webDirectory == null) {
> webDirectory = System.getProperty("java.io.tmpdir") +
> "flink-web-history-" + UUID.randomUUID();
> }
> webDir = new File(webDirectory);
> {code}
> It should be
> {code}
> webDirectory = System.getProperty("java.io.tmpdir") + File.separator +
> "flink-web-history-" + UUID.randomUUID();
> {code}
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
