equal
deleted
inserted
replaced
|
1 // policy file that grants read access to source directory and its entries |
|
2 grant { |
|
3 permission java.io.FilePermission "${test.src}", "read"; |
|
4 permission java.io.FilePermission "${test.src}${file.separator}*", "read"; |
|
5 }; |