author | xuelei |
Mon, 29 Jul 2019 11:23:49 -0700 | |
changeset 57585 | b20a319fdd35 |
parent 47216 | 71c04702a3d5 |
permissions | -rw-r--r-- |
grant { permission java.lang.RuntimePermission "setSecurityManager"; permission java.security.SecurityPermission "insertProvider.*"; permission java.security.SecurityPermission "removeProvider.*"; permission java.io.FilePermission "${test.src}/-", "read"; permission java.io.FilePermission "${closed.base}/-", "read"; };