protected void check_disposed() { if (disposed) throw new ObjectDisposedException ("ThreadServant"); }