Some simple scripts for maintaining a minecraft server. Expect hackery to abound.