version 1.6, 2008/12/02 09:02:58
|
version 1.6.6.1, 2011/03/09 05:58:38
|
|
|
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. |