public final class PidFile
extends java.lang.Object
| Modifier and Type | Method | Description |
|---|---|---|
static PidFile |
create(java.nio.file.Path path,
boolean deleteOnExit) |
Creates a new PidFile and writes the current process ID into the provided path
|
java.nio.file.Path |
getPath() |
Returns the process id file path
|
long |
getPid() |
Returns the current process id
|
boolean |
isDeleteOnExit() |
Returns
true iff the process id file is deleted on system exit. |
public static PidFile create(java.nio.file.Path path, boolean deleteOnExit) throws java.io.IOException
path - the path to the pid file. The file is newly created or truncated if it already existsdeleteOnExit - if true the pid file is deleted with best effort on system exitjava.io.IOException - if an IOException occurspublic long getPid()
public java.nio.file.Path getPath()
public boolean isDeleteOnExit()
true iff the process id file is deleted on system exit. Otherwise false.