mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: bfed0b | patch | commitdiff
Valery Kharseko
18 hours ago 2210a0de16da5c6bde80893e61725ec23c3ac36b
refs
author Valery Kharseko <vharseko@3a-systems.ru>
Tuesday, July 28, 2026 16:25 +0200
committer GitHub <noreply@github.com>
Tuesday, July 28, 2026 16:25 +0200
commit2210a0de16da5c6bde80893e61725ec23c3ac36b
tree 7df040d1eead72a4612fc0086a9365d7717e0562 tree | zip | gz
parent bfed0b8f320aa15d24da84ffe117d166a5b062bd view | diff 
[#768] Fix winlauncher.exe stop reporting success without stopping the server (#772)
4 files modified
179 ■■■■■ changed files
.github/workflows/build.yml 19 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/bin/stop-ds.bat 10 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/build-tools/windows/winlauncher.c 145 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/build-tools/windows/winlauncher.h 5 ●●●●● diff | view | raw | blame | history