method save = fun name -> let chan = open_out name in output_string chan (Xml.to_string_fmt (Dbf_sql_io.xml_of_db db)); close_out chan; filename <- Some name; saved <- true