try {
FileIOStream iostream;
File file = File.new_tmp ("cookie-XXXXXX.txt", out iostream);
- filename = file.get_path ();
+ this.cookie_file = file.get_path ();
print("cookie tmp file name: %s\n", file.get_path ());
OutputStream ostream = iostream.output_stream;