/// <summary>
/// Process one workspace to remove.
/// </summary>
private void ProcessOneKwsToRemove(Workspace kws)
{
// We can remove the workspace now.
if (kws.Sm.ReadyToRemove())
{
// Delete the workspace data.
kws.DeleteAllData();
// Remove the workspace from the manager.
m_wm.RemoveWorkspaceObject(kws);
// Request a run of the state machine in case we want to stop.
RequestRun("removed " + Base.GetKwsString());
}
}
