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