I see that the time used by cron is server time. I need to run my script only during UK office hours (9h-18h), so have offset the times against PST (-8h).
However, I am aware that daylight savings time will mess this up. Sure, I could add an hour either side, but that’s not an elegant solution.
What do other people think?