ai.grakn.engine.grakn_pid

Class GraknPid

java.lang.Object

ai.grakn.engine.grakn_pid.GraknPid

public class GraknPid
extends Object

A class which manages grakn engine's PID

Author:

Ganeshwara Herawan Hananda

Field Summary

Fields

Modifier and Type	Field and Description
static Path	GRAKN_PID_FILE_PATH

Constructor Summary

Constructors

Constructor and Description
GraknPid(long pid)

Method Summary

Modifier and Type	Method and Description
void	createPidFile_deleteOnExit()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

GRAKN_PID_FILE_PATH

public static final Path GRAKN_PID_FILE_PATH

Constructor Detail

GraknPid

public GraknPid(long pid)

Method Detail

createPidFile_deleteOnExit

public void createPidFile_deleteOnExit()