mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7c5015 | patch | commitdiff
neil_a_wilson
22.56.2007 fe2343005776d1d53a99b3826a2c0d5d2c0f500e
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
commitfe2343005776d1d53a99b3826a2c0d5d2c0f500e
tree 184af8c3a939666fb12da67989a6b96b8c4d58fb tree | zip | gz
parent 7c50154468e191f4f67e47b8e6d31e903136a83c 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
opends/resource/bin/start-ds 18 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/core/DirectoryServer.java 283 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/core/PluginConfigManager.java 4 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/messages/CoreMessages.java 12 ●●●●● diff | view | raw | blame | history