CR-2024 OPENDJ-1078 OpenDJ doesn't release server.lock after upgrade

Violette Roche-Montane

23.51.2013 2bdda99416ddf25d1122d376cfd474ce31451b8a

1
2
user-friendly-name=Element del Flux de treball
user-friendly-plural-name=Elements del Flux de treball