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