mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 79980b | patch | commitdiff
Valery Kharseko
yesterday b1a16ac35c0e83771e5d699f3e7c4eae6696dd62
refs
author Valery Kharseko <vharseko@3a-systems.ru>
Sunday, September 27, 2026 10:54 +0200
committer GitHub <noreply@github.com>
Sunday, September 27, 2026 10:54 +0200
commitb1a16ac35c0e83771e5d699f3e7c4eae6696dd62
tree 0abae1df5114621baad952064d9f5feee4013620 tree | zip | gz
parent 79980bdcaf61f964868c402aa2c410cb98e9ceed view | diff 
[#1085] Stop the server cleanly on SIGTERM in a container that bootstrapped its instance (#1098)
6 files modified
214 ■■■■■ changed files
.github/benchmark/compare-opendj.sh 26 ●●●●● diff | view | raw | blame | history
.github/workflows/benchmark.yml 15 ●●●●● diff | view | raw | blame | history
.github/workflows/build.yml 96 ●●●●● diff | view | raw | blame | history
opendj-packages/opendj-docker/README.md 11 ●●●●● diff | view | raw | blame | history
opendj-packages/opendj-docker/bootstrap/replicate.sh 44 ●●●●● diff | view | raw | blame | history
opendj-packages/opendj-docker/run.sh 22 ●●●●● diff | view | raw | blame | history