8193072: File.delete() should remove its path from DeleteOnExitHook.files
brian.burkhalter at oracle.com
Tue Jul 9 15:07:10 UTC 2019
You might be correct but I wrote up a different version at the end of yesterday. Not sure it is right but I might as well post it:
> On Jul 9, 2019, at 7:34 AM, Roger Riggs <Roger.Riggs at oracle.com> wrote:
> The sequence described is the specified behavior of the API, whether it is a developer mistake or not is unknowable but it would be a compatibility issue to change it. The filename is the key and there is no way to determine if it is the original file or a replacement. deleteOnExit Wins!
More information about the core-libs-dev