version 1.6, 2008/12/02 09:02:58
|
version 1.7, 2011/02/16 06:44:32
|
|
|
void setServerRunning(); | void setServerRunning(); |
| |
/** | /** |
|
Indicates that this instance of the server is not running. |
|
*/ |
|
void setServerNotRunning(); |
|
|
|
/** |
On platforms that use a PID file, this method allows a parent process | On platforms that use a PID file, this method allows a parent process |
ID to be specified. This allows the isServerRunning() method to take | ID to be specified. This allows the isServerRunning() method to take |
the parent process into consideration. | the parent process into consideration. |