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(); }