JimBobSquarePants/Cruncher — pull request #19 by Alain-es (2014-11-25 21:15:07+00:00)
Title: Fix for the cache dependencies (FileMonitors) bug

This is a quick fix for the cache dependencies (FileMonitors) bug. I
have tested it, but not exhaustively (tomorrow I will do more testing).
I have committed changes so you can have a look and tell me your
thoughts about it. There is probably another way to fix it (maybe
better), but this way implies modifying the source code to a minimum.