ninja-ide/ninja-ide — pull request #643 by perrito666 (2012-06-23 18:50:07+00:00)
Title: Fixed delayed notifiactions

Refactored order of pyinotify event processing to avoid race conditions