var r = new Regex ("\\.blogspot\\..*?/");
blog = r.replace(blog, blog.length, 0, ".blogspot.com/ncr/");
}
+
+ var iostream = new FileIOStream() ;
+
+ var file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
+
+ print("cookie tmp file name: %s\n", file.get_path ());
+
+ var ostream = iostream.output_stream;
if(webkitpdf.opt_cookies != null) {
print("setting cookie %s\n",webkitpdf.opt_cookies);
ssl="TRUE";
}
try {
- FileIOStream iostream;
- File file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
- print("cookie tmp file name: %s\n", file.get_path ());
-
- OutputStream ostream = iostream.output_stream;
+ //File file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
+ //print("cookie tmp file name: %s\n", file.get_path ());
+
DataOutputStream dostream = new DataOutputStream (ostream);
dostream.put_string (uri.get_host() + "\tTRUE\t/\t"+ssl+"\t2147483647\t" + cookies[0] + "\t" + cookies[1] );