Daylight saving on UK servers

Our databases are hosted in the UK data centre. When I run the following SQL:

SELECT CURRENT_TIMESTAMP

then I get the current date and time including the 1 hour offset for British Summer Time. After the clocks go back at the end of October, I assume running this query will return the current time in GMT?

I guess what I'm asking is how your UK servers are set up to handle daylight saving?

 

The U.S. servers sync to a time server, and I'd assume the UK servers do the same. I'll see if I can find out for sure.

 

Thanks mjp, did you find out whether this was the case?

 

Not yet, but thanks for reminding me.

 

@michiko, admins tell me that yes, the UK servers all sync to a time server, so there should never be a problem when times change.