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