Message184089
Actually, it is not quite the same semantics as Unix.
After you delete the the file you cannot create a file of the same name or delete the directory which contains it until the handle has been closed.
However, one can work around that by moving the file somewhere else (like the root directory) before deleting it. |
|
Date |
User |
Action |
Args |
2013-03-13 16:03:35 | sbt | set | recipients:
+ sbt, loewis, ncoghlan, pitrou, dabrahams, piotr.dobrogost |
2013-03-13 16:03:35 | sbt | set | messageid: <1363190615.13.0.951416542851.issue15244@psf.upfronthosting.co.za> |
2013-03-13 16:03:35 | sbt | link | issue15244 messages |
2013-03-13 16:03:35 | sbt | create | |
|