equal
deleted
inserted
replaced
425 scope_id = 0; |
425 scope_id = 0; |
426 } else { |
426 } else { |
427 try { |
427 try { |
428 scope_id = deriveNumericScope (scope_ifname); |
428 scope_id = deriveNumericScope (scope_ifname); |
429 } catch (UnknownHostException e) { |
429 } catch (UnknownHostException e) { |
430 // should not happen |
430 // typically should not happen, but it may be that |
431 assert false; |
431 // the machine being used for deserialization has |
|
432 // the same interface name but without IPv6 configured. |
432 } |
433 } |
433 } |
434 } |
434 } catch (SocketException e) {} |
435 } catch (SocketException e) {} |
435 |
436 |
436 } |
437 } |