[FLINK-12460] Change taskmanager.tmp.dirs to io.tmp.dirs in configuration docs

• Type: Task
• Status: Resolved
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 1.7.2, 1.8.0
• Fix Version/s: 1.7.3, 1.8.1, 1.9.0
• Component/s: Documentation, Runtime / Configuration
• Labels: pull-request-available
• Assignee: Till Rohrmann
• Reporter: Fabian Hueske
• Created: 09/May/19 07:35
• Updated: 16/May/19 08:32
• Resolved: 09/May/19 08:00

Description

The configuration documentation explains the deprecated parameter taskmanager.tmp.dirs which should be updated to io.tmp.dirs.

Issue Links

• links to: GitHub Pull Request #8380