-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
praktomat.policy vs java.policy #307
praktomat.policy vs java.policy #307
Comments
Just found on https://docs.oracle.com/en/java/javase/17/security/java-security-overview1.html#GUID-BBEC2DC8-BA00-42B1-B52A-A49488FCF8FE
corresponding information here: |
@chris21k could you please update the issue headline, that one can read, that Security Manager is deprecated? referencing to an old mail to praktomat mailinglist (8.10.2016 of @nomeata ), perhaps firejail https://firejail.wordpress.com/ could use as sandbox i.e. on systems where Docker containers are "too big". |
Implementation changed to Praktomat/src/checker/checker/DejaGnu.py Line 122 in 92d1cf5
via commit bc585cf#diff-e64c26e50d196ca3f4cccef7ec36c569a692481cafc1b02a789b44f321e7e590 merged to master |
add some documentation information into java.policy and junit.policy see KITPraktomatTeam#350 see KITPraktomatTeam#307 closes KITPraktomatTeam#307
Praktomat/src/checker/checker/DejaGnu.py line 120 references not existing file "praktomat.policy" instead of in directory Praktomat/src/checker/scripts/ supplied "java.policy". Thus, 'spawn java' starts a jvm with empty policies via Praktomat/src/checker/scripts/java. A workaround without touching the python code is
$ ln -s java.policy praktomat.policy
in this directory.
The text was updated successfully, but these errors were encountered: