*/
public void start()
{
- foreach(var in in this.top) {
+ foreach(var i in this.top) {
this.monitor(this.top[i]);
}
}
public void stop()
{
- foreach(var i in this.monitors) {
+ foreach(int i in this.monitors) {
this.monitors[i].cancel();
}
this.monitors = new ArrayList<FileMonitor>(); // clean /destroy/ kill old?
var file_enum = f.enumerate_children(
- FileAttribute.STANDARD_DISPLAY_NAME + ','+ FileAttribute.STANDARD_TYPE,
+ FileAttribute.STANDARD_DISPLAY_NAME + "," + FileAttribute.STANDARD_TYPE,
0, // FileQueryInfoFlags.NONE,
null);
//print("got a file " + next_file.sudo () + '?=' + Gio.FileType.DIRECTORY);
- if (next_file.get_file_type() != FILETYPE_DIRECTORY) {
+ if (next_file.get_file_type() != FileType.DIRECTORY) {
next_file = null;
continue;
}
- if (next_file.get_file_type() == FILETYPE_SYMBOLIC_LINK) {
+ if (next_file.get_file_type() ==FileType.SYMBOLIC_LINK) {
next_file = null;
continue;
}
next_file = null;
continue;
}
- var sp = path+'/'+next_file.get_display_name();
+ var sp = path+"/"+next_file.get_display_name();
// skip modules.
//print("got a file : " + sp);