mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Maxim Thomas
21.16.2025 cea9a85d719a0ac886ae797128e30220f3bf3e4e
refs
author Maxim Thomas <maxim.thomas@gmail.com>
Friday, November 21, 2025 19:16 +0100
committer GitHub <noreply@github.com>
Friday, November 21, 2025 19:16 +0100
commitcea9a85d719a0ac886ae797128e30220f3bf3e4e
tree 55100fc0d4ac9a6a3d03df56f3fa06dbc71bbdb6 tree | zip | gz
parent 4af370dff6b060db388f1d8373ebe4ee7a81d567 view | diff
[#575] Set OpenDJ tmp dir to an installation directory (#576)

6 files modified
46 ■■■■ changed files
.github/workflows/build.yml 8 ●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/bin/_script-util.bat 10 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/bin/_script-util.sh 9 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/bin/start-ds 6 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/bin/start-ds.bat 10 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/java/org/opends/server/util/Platform.java 3 ●●●● diff | view | raw | blame | history