/// <summary>
/// Stops the fault location engine.
/// </summary>
public void Stop()
{
try
{
if ((object)m_fileProcessor != null)
{
m_fileProcessor.ClearTrackedDirectories();
}
}
finally
{
m_stopped = true;
}
}