private void timer1_Tick(object sender, EventArgs e)
{
if (_container == null || _environment == null || _environment.NoAgents == 0)
{
return;
}
try
{
listBoxAgents.Items.Clear();
foreach (string a in _environment.AllAgents())
{
listBoxAgents.Items.Add(a);
}
}
catch (Exception ex2)
{
richTextBoxLog.AppendText("Exception: " + ex2.Message + ".\r\n");
richTextBoxLog.Focus(); Application.DoEvents();
}
}