27/07/2012: Missing Desktop Applications

One of our application servers is behaving abnormally and not presenting some users with their usual desktop and applications menu. We have rebooted the server this morning and normal service has been resumed while we continue to investigate this problem.