- Add History::clear() to empty an existing history (equivalent

to removing all of its resources and all of its processes, but
faster)


git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@887 3ecf2c5c-341e-0410-92b4-d18e462d057c

src/backend/concrete_history.hh

@@ -60,6 +60,7 @@ namespace sgpem
     virtual void  remove(Request&    request);
     virtual void  remove(SubRequest& subrequest);
 
+    virtual void clear();
 
     virtual ResourcePair        add_resource(const Glib::ustring& name,
         bool   preemptable  = false,