Sept. 19, 2008
8:01 a.m.
On 19.09.2008, at 09:19, Stéphane Ducasse wrote:
Hi
I took 10072 and pressed update. After 10 or 15 min I got
DoIt ^ server aborted early
So may be the server stopped in the middle.
I think gforge was down this morning... Marcus -- Marcus Denker -- denker@iam.unibe.ch http://www.iam.unibe.ch/~denker