equal
deleted
inserted
replaced
132 if ((subDer.getTag() & 0x1F) == 0x02) { |
132 if ((subDer.getTag() & 0x1F) == 0x02) { |
133 DerValue subsubDer = subDer.getData().getDerValue(); |
133 DerValue subsubDer = subDer.getData().getDerValue(); |
134 if (subsubDer.getTag() != DerValue.tag_SequenceOf) { |
134 if (subsubDer.getTag() != DerValue.tag_SequenceOf) { |
135 throw new Asn1Exception(Krb5.ASN1_BAD_ID); |
135 throw new Asn1Exception(Krb5.ASN1_BAD_ID); |
136 } |
136 } |
137 Vector<Ticket> v = new Vector<Ticket>(); |
137 Vector<Ticket> v = new Vector<>(); |
138 while (subsubDer.getData().available() > 0) { |
138 while (subsubDer.getData().available() > 0) { |
139 v.addElement(new Ticket(subsubDer.getData().getDerValue())); |
139 v.addElement(new Ticket(subsubDer.getData().getDerValue())); |
140 } |
140 } |
141 if (v.size() > 0) { |
141 if (v.size() > 0) { |
142 tickets = new Ticket[v.size()]; |
142 tickets = new Ticket[v.size()]; |