sperber(a)informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor]) wrote:
This is apparently a server-side problem. The out-of-memory
problems
are also still around. I see it happen only with ssh. :pserver:
works better.
Hmmm. I indeed used :ext: with my own account to perform the checkout.
--
Didier Verna, didier(a)lrde.epita.fr,
http://www.lrde.epita.fr/~didier
EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (1) 53 14 59 47
94276 Le Kremlin-BicĂȘtre, France Fax.+33 (1) 44 08 01 99 didier(a)xemacs.org