110111112113114115116117118119120121
public int hashCode() { return router_host.hashCode() + router_port; } public void interrupt() { StubReceiver tmp=receiver; if(tmp != null) { Thread thread=tmp.getThread(); if(thread != null) thread.interrupt(); } }
119120121122123124125126127128129130
thread.interrupt(); } } public void join(long wait) throws InterruptedException { StubReceiver tmp=receiver; if(tmp != null) { Thread thread=tmp.getThread(); if(thread != null) thread.join(wait); } }