Disable ctime detection as a workaround for [bug 5587].

Rev: lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike:1.39

lib/modules/Filesystem.pmod/Monitor.pmod/basic.pike

 //
 // Basic filesystem monitor.
 //
-// $Id: basic.pike,v 1.38 2010/04/27 15:00:54 grubba Exp $
+// $Id: basic.pike,v 1.39 2010/07/14 14:11:08 jonasw Exp $
 //
 // 2009-07-09 Henrik Grubbström
 //
@@ -586,7 +586,11 @@ protected class Monitor(string path,
     } else {
       return 0;
     }
-    if ((st->mtime != old_st->mtime) || (st->ctime != old_st->ctime) ||
+    
+    //  Note: ctime seems to change unexpectedly when running ImageMagick
+    //        on NFS disk so we disable it for the moment [bug 5587].
+    if ((st->mtime != old_st->mtime) ||
+	/* (st->ctime != old_st->ctime) || */
 	(st->size != old_st->size)) {
       last_change = time(1);
       if (status_change(old_st, st, orig_flags, flags)) return 1;