public void Flush() { s_index.Flush(); inv_index.Flush(); name_index.Flush(); nt.Flush(); }
public void Flush() { table.Flush(); s_index.Flush(); inv_index.Flush(); name_index.Flush(); nt.Flush(); }