[FLINK-6317] History server - wrong default directory

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 1.3.0
• Fix Version/s: 1.3.0
• Component/s: Runtime / Coordination
• Labels: easyfix
• Assignee: Unassigned
• Reporter: Lorenz Bühmann
• Created: 18/Apr/17 07:26
• Updated: 28/Feb/19 14:10
• Resolved: 18/Apr/17 10:09

Description

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:

HistoryServer.java@L139-L143

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);

It should be

webDirectory = System.getProperty("java.io.tmpdir") + File.separator +  "flink-web-history-" + UUID.randomUUID();

Issue Links

• links to: GitHub Pull Request #3731