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