pub const SERVER_PID_FILE: &str = "server.pid";
The PID file for the server
Example: <MICROSANDBOX_HOME_DIR>/<SERVER_PID_FILE>