and implementing the solution there, with one difference: the default tmpdir for users without privileges isn't renamed. Protects against weirdness in the first run, and against there being an extra directory sitting unused (it would get garbage collected, but still).
Returning to
54
and implementing the solution there, with one difference: the default tmpdir for users without privileges isn't renamed. Protects against weirdness in the first run, and against there being an extra directory sitting unused (it would get garbage collected, but still).