Information
We are currently investigating an issue with the editor of some pages. Please save your work and avoid to create new pages until this banner is gone.
The time on the virtual machine is always wrong of a number of hours
This is actually a problem that was occurring long time ago, with very old versions of VmWare and RedHat Linux.
I have not seen this problem since years.
But, just in case it come up again:
$CLOCK $CLOCKFLAGS action "Setting clock $CLOCKDEF: `date`" date
-- GianlucaChiozzi - 26 Jul 2005