equal
deleted
inserted
replaced
787 newInfo); |
787 newInfo); |
788 } else { |
788 } else { |
789 certs = null; |
789 certs = null; |
790 } |
790 } |
791 |
791 |
792 // only add if we had no signer or we had a |
792 // only add if we had no signer or we had |
793 // a signer and found the keys for it. |
793 // a signer and found the keys for it. |
794 if (certs != null || pe.signedBy == null) { |
794 if (certs != null || pe.signedBy == null) { |
795 Permission perm = new UnresolvedPermission( |
795 Permission perm = new UnresolvedPermission( |
796 pe.permission, |
796 pe.permission, |
797 pe.name, |
797 pe.name, |