my ceiling is diseased

Alan went to the office to complain about this ongoing leak saga, so a new maintenance guy is out here today. He stabbed the ceiling with his screwdriver, and this thick yellowish pus looking stuff oozed out. It was a very Aliens kind of moment. He's gone to get a better box knife to cut out the ceiling and more tools to fix whatever is leaking. Please please please let them fix it today.

Edit
Seems the problem is of course the pipes in the wall overhead. They're cutting out parts of the ceiling. I offered the guy my raincoat because the ceiling kept leaking on him.