[tex-live] Re: p4 server move tomorrow -> texlive.dante.de

Karl Berry karl at freefriends.org
Wed Jul 6 15:49:49 CEST 2005

            Connect to server failed; check $P4PORT.

Rainer updated the master DNS, but it'll take a day or two for the
change to propagate.  So may have to use P4PORT=comedy.dante.de:1666 for
now (I did).

Thanks for doing the switch, Rainer.

More information about the tex-live mailing list