mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9bd2c6 | patch | commitdiff
Gaetan Boismal
11.30.2015 9a9ae38a98b5e00a1580ee89a534c36724b5ad34
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
commit9a9ae38a98b5e00a1580ee89a534c36724b5ad34
tree 753e8ed07a7c91143e34a6f93073420bbf1ac723 tree | zip | gz
parent 9bd2c65409cbd3e63018cc65e90c008c1bfb5d8f view | diff 
OPENDJ-1772: Avoid double server stop in debian package uninstall
2 files modified
17 ■■■■■ changed files
opendj-server-legacy/resource/debian/control/postrm 6 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/resource/debian/control/prerm 11 ●●●●● diff | view | raw | blame | history