}
public void delete_cookiefile () {
- print("deleting tmp file %s\n",_this.cookie_file);
- File file = File.new_for_path (_this.cookie_file);
- try {
- if (file.query_exists () == true) {
- file.delete ();
+ // _this -> owner BrowserWindow
+ // cookie_file is created by BrowserWindow
+ if(_this.cookie_file.length >0 ){
+ print("deleting tmp file %s\n",_this.cookie_file);
+ File file = File.new_for_path (_this.cookie_file);
+ try {
+ if (file.query_exists () == true) {
+ file.delete ();
+ }
+ } catch (Error e) {
+ stdout.printf ("Error: %s\n", e.message);
}
- } catch (Error e) {
- stdout.printf ("Error: %s\n", e.message);
- }
+ }
}
}