}
print("calling print in %d seconds\n", (int)webkitpdf.opt_delay);
- print("deleting tmp file %s\n",_this.cookie_file);
+
if (webkitpdf.opt_target_pdf != null) {
GLib.Timeout.add_seconds(webkitpdf.opt_delay, () => {
print("delay done URL: %s\n", this.el.uri);
+ }
+
+ public void delete_cookiefile () {
+ print("deleting tmp file %s\n",_this.cookie_file);
}
}