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

Gaetan Boismal
11.30.2015 b9e3eb9cffeed3719576c1e81eb6274cc0ecc93b
refs
author Gaetan Boismal <gaetan.boismal@forgerock.com>
Wednesday, March 11, 2015 13:30 +0100
committer Gaetan Boismal <gaetan.boismal@forgerock.com>
Wednesday, March 11, 2015 13:30 +0100
commitb9e3eb9cffeed3719576c1e81eb6274cc0ecc93b
tree e170cdf88dc00b322394c5a2c5c3d5e807c7ec7f tree | zip | gz
parent 5d5640745f6593563bed2e535fcfdaee0171ba48 view | diff
OPENDJ-1772: Avoid double server stop in debian package uninstall
2 files modified
17 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/resource/debian/control/postrm 6 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/resource/debian/control/prerm 11 ●●●● diff | view | raw | blame | history