Do we have alternatives to the long form? Do we need the timezone information at all? We know already it's the server's time. Another alternative would be a short timestamp (%t vs. %T) to have both.
Regards, Andreas
---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]