> The p4 server seems to have died? I'm wrong, it's a name server problem at daimi. Guess p4 doesn't respond to localhost for whatever reason. Sorry to bother.