-
-
-
- //string event_name = "UKNOWN";
-
-
- // extract the event names ... - not sure if introspection is feasible in vala..
- //for(var i in Gio.FileMonitorEvent) {
- // if (Gio.FileMonitorEvent[i] == event_type) {
- // event_name = i;
- // }
- //}
-
-
-
-
- //print (JSON.stringify([event_name , f.get_path(), of ? of.get_path() : false ] ));
- //print ("got src: " + src.toString());
- //print ("got event: " + src.toString());