- for(i=options.begin(); i!=options.end(); ++i)
- out<<"option \""<<i->second.name<<"\" \""<<i->second.value<<"\";\n";
+ for(i=options.begin(); i!=options.end(); ++i)
+ IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);
+ }
+ catch(const SystemError &)
+ { }