Some platforms can’t delete or rename files held open by the system, this limitation may also apply to changing filesystem metainformation like file permissions or owners. Remember to "close" files when you are done with them. Don’t "unlink" or "rename" an open file. Don’t "tie" or "open" a file already tied or opened; "untie" or "close" it first.
In reply to Re: What if FILE deleted during WHILE read-in loop?
by Errto
in thread What if FILE deleted during WHILE read-in loop?
by punch_card_don
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |