private void start_Click(object sender, EventArgs e)
{
string op_id = op.Text;
new Thread(() => {
try {
pm.StartOp(op_id);
pm.log(">> Start " + op_id);
} catch (Exception) {
pm.log("Operator not found!");
}
}).Start();
this.Close();
}
private void start_Click(object sender, EventArgs e)
{
string op_id = op.Text;
int interval = Int32.Parse(interval_value.Text);
new Thread(() => {
try {
pm.Interval(op_id, interval);
pm.log(">> Interval " + op_id + " " + interval);
} catch (Exception) {
pm.log("Operator not found!");
}
}).Start();
this.Close();
}
private void start_Click(object sender, EventArgs e)
{
string op_id = op.Text;
int repl_id = Int32.Parse(repl.Text);
new Thread(() => {
try {
pm.Unfreeze(op_id, repl_id);
pm.log(">> Unfreeze " + op_id + " " + repl_id);
} catch (Exception) {
pm.log("Operator or Replica not found!");
}
}).Start();
this.Close();
}
