108109110111112113114115116117118
p.stop(); p=p.getDownProtocol(); } p=harness; while(p != null) { p.destroy(); p=p.getDownProtocol(); } } else if(top != null) { p=top;
122123124125126127128129130131132
p.stop(); p=p.getDownProtocol(); } p=top; while(p != null) { p.destroy(); p=p.getDownProtocol(); } } }
106107108109110111112113114115116
120121122123124125126127128129130