File modification

Modern operating systems have efficient mechanisms to send a signal when a watched file or directory is modified.

File and FileEntry have a last modified date-- currently we must poll entries to see if the modification date changes. That works completely fine in practice, but it doesn't give us a chance to exploit the efficiency of some operating systems in notifying applications about file updates.

So as a strawman: a File.onupdated event handler may be useful.

-Charles

Received on Tuesday, 10 January 2012 21:37:02 UTC