var file_size = (int) fileinfo.get_size();
var mod_time = fileinfo.get_modification_time();
+ DateTime mailtime;
if (StripApplication.opt_scan_mailfort) {
this.created_dir = this.active_path.substring(this.base_dir.length + 1 );
this.created_date = this.created_dir.replace("/", "-");
+ var bits = this.created_date.split("/");
+ mailtime = new DateTime.local(int.parse(bits[0]),int.parse(bits[1]),int.parse(bits[2]),0,0,0);
} else {
// it's a mail directory...
// use the last modification time? as the default...