[
https://issues.apache.org/jira/browse/FLINK-12460?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Till Rohrmann updated FLINK-12460:
----------------------------------
Priority: Minor (was: Major)
> Change taskmanager.tmp.dirs to io.tmp.dirs in configuration docs
> ----------------------------------------------------------------
>
> Key: FLINK-12460
> URL: https://issues.apache.org/jira/browse/FLINK-12460
> Project: Flink
> Issue Type: Task
> Components: Documentation, Runtime / Configuration
> Affects Versions: 1.7.2, 1.8.0
> Reporter: Fabian Hueske
> Priority: Minor
>
> The [configuration
> documentation|https://ci.apache.org/projects/flink/flink-docs-stable/ops/config.html]
> explains the deprecated parameter {{taskmanager.tmp.dirs}} which should be
> updated to {{io.tmp.dirs}}.
--
This message was sent by Atlassian JIRA
(v7.6.3#76005)
