Actually, the Domino server keeps its own track of time after it has been started, but picks up the OS time on startup. So, you can probably put the time right by restarting the Domino service (assuming your OS time is correct, or synched with another server).

Rgds

Nigel