/// <summary>
/// Instructs the manager to cancel indicated batch process. If the
/// process is active, it is canceled. If it is somewhere else in
/// the queue, it is marked as canceled.
/// </summary>
public void CancelSimulation(object ProcessID)
{
//
// If the active process, tell the modeler to quit
if (m_Queue[0] == (BatchProcess)ProcessID)
{
m_CancelSimulation = true;
m_Modeler.Abort();
}
else
{
m_Queue.Remove((BatchProcess)ProcessID);
}
}
