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
