| Interface | Description |
|---|---|
| GraknPidRetriever |
An interface to be implemented by class who is responsible for retrieving the process id of Grakn
|
| GraknPidStore |
A interface to be implemented by class who is responsible for tracking and storing the process id of Grakn
|
| Class | Description |
|---|---|
| GraknPidFileStore |
A class which manages grakn engine's PID
|
| GraknPidManager |
A class responsible for managing the grakn.pid file of Grakn
|
| GraknPidManagerFactory |
A class responsible for instantiating GraknPidManager
|
| UnixGraknPidRetriever |
A class capable of retrieving the process id of Grakn via `ps` command line tool
|
| Exception | Description |
|---|---|
| GraknPidException |
A class which manages grakn engine's PID
|
Copyright © 2018 Grakn Labs Ltd. All rights reserved.