}
public void delete_cookiefile () {
- // _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);
+
+ 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 ();
+ //file.delete ();
}
} catch (Error e) {
stdout.printf ("Error: %s\n", e.message);