var r = new Regex ("\\.blogspot\\..*?/");
blog = r.replace(blog, blog.length, 0, ".blogspot.com/ncr/");
}
-
-
if(webkitpdf.opt_cookies != null) {
print("setting cookie %s\n",webkitpdf.opt_cookies);
}
try {
FileIOStream iostream;
- File file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
+ File file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
+ filename = file.get_path ();
print("cookie tmp file name: %s\n", file.get_path ());
OutputStream ostream = iostream.output_stream;
});
- try {
- print("deleting cookie tmp file name: %s\n", file.get_path ());
- file.delete ();
- } catch (Error e) {
- stdout.printf ("Error: %s\n", e.message);
- }
-
});
}