Hi, I created FLINK-12460 to update the documentation.
Cheers, Fabian Am Mi., 8. Mai 2019 um 17:48 Uhr schrieb Flavio Pompermaier < pomperma...@okkam.it>: > Great, thanks Till! > > On Wed, May 8, 2019 at 4:20 PM Till Rohrmann <trohrm...@apache.org> wrote: > >> Hi Flavio, >> >> taskmanager.tmp.dirs is the deprecated configuration key which has been >> superseded by the io.tmp.dirs configuration option. In the future, you >> should use io.tmp.dirs. >> >> Cheers, >> Till >> >> On Wed, May 8, 2019 at 3:32 PM Flavio Pompermaier <pomperma...@okkam.it> >> wrote: >> >>> Hi to all, >>> looking at >>> https://ci.apache.org/projects/flink/flink-docs-stable/ops/config.html it's >>> not very clear to me the difference between these two settings (actually I >>> always used the same value for the two). >>> >>> My understanding is that taskmanager.tmp.dirs is used to spill memory >>> when there's no more RAM available, while io.tmp.dirs for all other >>> situations (but which are them exactly?). >>> >>> Thanks in advance, >>> Flavio >>> >> >
