Ported the fix present in r11496 to opendj-config.

Jean-Noel Rouvignac

19.57.2014 ce16ec3a7c9bc5d547b5412ded221731755ea120

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.