equal
deleted
inserted
replaced
2600 |
2600 |
2601 //---------------------------------------------------------------- |
2601 //---------------------------------------------------------------- |
2602 // A Policy class designed to make permissions fiddling very easy. |
2602 // A Policy class designed to make permissions fiddling very easy. |
2603 //---------------------------------------------------------------- |
2603 //---------------------------------------------------------------- |
2604 private static class Policy extends java.security.Policy { |
2604 private static class Policy extends java.security.Policy { |
|
2605 static final java.security.Policy DEFAULT_POLICY = java.security.Policy.getPolicy(); |
|
2606 |
2605 private Permissions perms; |
2607 private Permissions perms; |
2606 |
2608 |
2607 public void setPermissions(Permission...permissions) { |
2609 public void setPermissions(Permission...permissions) { |
2608 perms = new Permissions(); |
2610 perms = new Permissions(); |
2609 for (Permission permission : permissions) |
2611 for (Permission permission : permissions) |
2619 public PermissionCollection getPermissions(ProtectionDomain pd) { |
2621 public PermissionCollection getPermissions(ProtectionDomain pd) { |
2620 return perms; |
2622 return perms; |
2621 } |
2623 } |
2622 |
2624 |
2623 public boolean implies(ProtectionDomain pd, Permission p) { |
2625 public boolean implies(ProtectionDomain pd, Permission p) { |
2624 return perms.implies(p); |
2626 return perms.implies(p) || DEFAULT_POLICY.implies(pd, p); |
2625 } |
2627 } |
2626 |
2628 |
2627 public void refresh() {} |
2629 public void refresh() {} |
2628 } |
2630 } |
2629 |
2631 |