A Bukkit server management tool written in Python