PidFile-bukkit A small minecraft bukkit plugin which outputs the server process ID to a server.pid file.