| changeset 6542 | 155856185c1b |
| parent 5627 | e636ac7a63a4 |
| child 7179 | 4afb81e50183 |
| 6541:a40c440705b3 | 6542:155856185c1b |
|---|---|
4229 class SQLPerm extends Perm { |
4229 class SQLPerm extends Perm { |
4230 public SQLPerm() { |
4230 public SQLPerm() { |
4231 super("SQLPermission", |
4231 super("SQLPermission", |
4232 "java.sql.SQLPermission", |
4232 "java.sql.SQLPermission", |
4233 new String[] { |
4233 new String[] { |
4234 "setLog" |
4234 "setLog", |
4235 "callAbort", |
|
4236 "setSyncFactory", |
|
4237 "setNetworkTimeout", |
|
4235 }, |
4238 }, |
4236 null); |
4239 null); |
4237 } |
4240 } |
4238 } |
4241 } |
4239 |
4242 |