private void refresh_workers_display()
{
foreach (Control c in panel1.Controls)
{
if (c is work_item)
{
work_item item = c as work_item;
item.refresh();
}
}
}
private void timer4_Tick(object sender, EventArgs e)
{
if (is_running.Value && is_miner_running.Value) //times
{
db.update_or_insert("insert into times (id_pool, dat) values (" + current_id_running + ", '" + DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss") + "'); ");
foreach (Control c in panel1.Controls)
{
if (c is work_item)
{
work_item item = c as work_item;
if (item.get_id() == current_id_running)
{
item.refresh();
}
}
}
}
}