mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 583134 | patch | commitdiff
neil_a_wilson
22.56.2007 01e15bd986e812da262ec16a738488dd9fb0050b
refs
author neil_a_wilson <neil_a_wilson@localhost>
Thursday, February 22, 2007 14:56 +0100
committer neil_a_wilson <neil_a_wilson@localhost>
Thursday, February 22, 2007 14:56 +0100
commit01e15bd986e812da262ec16a738488dd9fb0050b
tree 4d62d62e70883e48b189ca6fe66ddc82b0a01299 tree | zip | gz
parent 58313445a76468b194eda168c29512c503be667e view | diff 
Update the start-ds script and associated Directory Server code to ensure that
the PID file is only written if the server is not already running.  If it's not
being used to try to start the server, then just invoke the command without a
PID file.  If it is trying to start the server but the server is already
running, then exit with an error.

OpenDS Issue Number:  1251
4 files modified
317 ■■■■■ changed files
opendj-sdk/opends/resource/bin/start-ds 18 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/core/DirectoryServer.java 283 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/core/PluginConfigManager.java 4 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/messages/CoreMessages.java 12 ●●●●● diff | view | raw | blame | history