equal
deleted
inserted
replaced
25 private Vector time_out_times_; |
25 private Vector time_out_times_; |
26 |
26 |
27 //Reference to the bridgeMain object |
27 //Reference to the bridgeMain object |
28 private BridgeMain bridge_; |
28 private BridgeMain bridge_; |
29 |
29 |
30 static Logger logger = Logger.getLogger(TimeCheckerThread.class.getName()); |
30 static Logger logger_ = Logger.getLogger(TimeCheckerThread.class.getName()); |
31 |
31 |
32 /** |
32 /** |
33 * Constructor: instantiate a new TimeCheckerThread |
33 * Constructor: instantiate a new TimeCheckerThread |
34 * |
34 * |
35 * @param bridge_ |
35 * @param bridge_ |
36 * BridgeMain object that belongs to this TimeCheckerThread |
36 * BridgeMain object that belongs to this TimeCheckerThread |
37 * @param wait_millis_ |
37 * @param wait_millis_ |
38 * Time to wait for response from kernel before restarting |
38 * Time to wait for response from kernel before restarting |
39 */ |
39 */ |
40 public TimeCheckerThread(BridgeMain bridge, long waitMillis) { |
40 public TimeCheckerThread(BridgeMain bridge, long waitMillis) { |
41 logger.warn("TimeCheckerThread: bridge_=" + bridge + ", wait_millis_" |
41 logger_.warn("TimeCheckerThread: bridge_=" + bridge + ", wait_millis_" |
42 + waitMillis); |
42 + waitMillis); |
43 this.bridge_ = bridge; |
43 this.bridge_ = bridge; |
44 this.time_out_times_ = bridge.getTimeOutTimes(); |
44 this.time_out_times_ = bridge.getTimeOutTimes(); |
45 this.wait_millis_ = waitMillis; |
45 this.wait_millis_ = waitMillis; |
46 } |
46 } |