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

Violette Roche-Montane

23.51.2013 2bdda99416ddf25d1122d376cfd474ce31451b8a

1
2
user-friendly-name=Servidor de replicaci\u00f3
user-friendly-plural-name=Servidors de replicaci\u00f3