in RobotOrchestrator.OrderProducer/BatchManager.cs [38:58]
public void StopBatchJob()
{
lock (batchJobLock)
{
if (batchJob != null)
{
try
{
batchJob.Stop();
}
finally
{
batchJob = null;
}
}
else
{
throw new InvalidOperationException("Batch job does not exist.");
}
}
}