Bukkit

In future updates, please change the way properTime makes its time adjustments to preserve the full server time. This would make it compatible with plugins that utilize full server time, such as in-game calendar plugins and plugins that utilize the moon phase. It also prevents the moon from constantly changing its phase in the sky during time adjustments.

This can be done simply by changing all instances of world.getTime and world.setTime to world.GetFullTime and world.SetFullTime in ProperTimeFixTime.java. I've already done this and compiled it for my own server and it works perfectly.

Thanks! Awesome plugin.