tree efb2475e185e40660b5e17f7a46a5bbf17f026e5
parent b9ff5c8f435173cfa616e3c398bdc089ef690a07
author Simon Kelley <simon@thekelleys.org.uk> 1418232736 +0000
committer Simon Kelley <simon@thekelleys.org.uk> 1418232736 +0000

Use inotify instead of polling on Linux.

This should solve problems people are seeing when a file changes
twice within a second and thus is missed for polling.