Problems with terra forced a reboot. Should be OK from 1045. If you experience problems try rebooting your computer; if this doesn't help feel free to contact us.
As long as the printer, ig_4etg, remains out of order the printer queue will be redirected to ig_3etg in room 308. *** Normal printing on ig_4etg has resumed.