コード例 #1
0
 void timerExpired() {
   // should not happen, but if it does,
   // fabricate a permanent error and forward up
   DatagramRejectedMessage msg =
       new DatagramRejectedMessage(message.getDestNodeID(), message.getSourceNodeID(), 0x0100);
   System.out.println(
       "Never received reply for datagram "
           + (message != null ? message.toString() : " == null"));
   handleDatagramRejected(msg, null);
 }
コード例 #2
0
 void endTimeout() {
   if (timer != null) timer.cancel();
   else
     System.out.println(
         "Found timer null for datagram " + (message != null ? message.toString() : " == null"));
 }