Hi all, We'll be applying some kernel updates to our Ubuntu 10.04 machines from 19:15 12/07 so there'll be some brief downtime on those machines. Primary services will also be affected during this period. Regards, Austin Halpin (haus)