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 wrote:
>
>> Hi Flavio,
>>
>> taskmanager.tmp.dirs is the deprecated
Great, thanks Till!
On Wed, May 8, 2019 at 4:20 PM Till Rohrmann 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
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
wrote:
> Hi to all,
> looking at
> https://ci.apache.
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 n
