# HG changeset patch
# User Alessio Caiazza <nolith@abisso.org>
# Date 1327257093 -3600
# Node ID 9c1f946433e54db73702e6e460d626ad8b6670ee
# Parent  d823f69aaf2df7b485f69042f85aa6662351ab0b
also ATTRIBUTE_CHANGED should trigger the guard

diff -r d823f69aaf2df7b485f69042f85aa6662351ab0b -r 9c1f946433e54db73702e6e460d626ad8b6670ee src/dtm.vala
--- a/src/dtm.vala	Sun Jan 22 19:04:44 2012 +0100
+++ b/src/dtm.vala	Sun Jan 22 19:31:33 2012 +0100
@@ -22,7 +22,8 @@
       monitor.changed.connect(
         (file, other_file, event_type) => {
           stdout.printf("EVENTO: %s on %s\n", event_type.to_string(), file.get_path());
-          if(event_type == FileMonitorEvent.CHANGED)
+          if(event_type == FileMonitorEvent.CHANGED ||
+            event_type == FileMonitorEvent.ATTRIBUTE_CHANGED)
           {
               try {
                 Process.spawn_command_line_async(args[2]);