equal
deleted
inserted
replaced
82 StringTokenizer st = new StringTokenizer(value, " \t"); |
82 StringTokenizer st = new StringTokenizer(value, " \t"); |
83 while (st.hasMoreTokens()) { |
83 while (st.hasMoreTokens()) { |
84 String val = st.nextToken(); |
84 String val = st.nextToken(); |
85 if (val.charAt(0) == '#' || val.charAt(0) == ';') { |
85 if (val.charAt(0) == '#' || val.charAt(0) == ';') { |
86 break; |
86 break; |
|
87 } |
|
88 if ("nameserver".equals(keyword)) { |
|
89 if (val.indexOf(':') >= 0 && |
|
90 val.indexOf('.') < 0 && // skip for IPv4 literals with port |
|
91 val.indexOf('[') < 0 && |
|
92 val.indexOf(']') < 0 ) { |
|
93 // IPv6 literal, in non-BSD-style. |
|
94 val = "[" + val + "]"; |
|
95 } |
87 } |
96 } |
88 ll.add(val); |
97 ll.add(val); |
89 if (--maxvalues == 0) { |
98 if (--maxvalues == 0) { |
90 break; |
99 break; |
91 } |
100 } |