On 06/03/12 07:55, Florian Friesdorf wrote: > That was also my "solution" so far, however, it seems you can tell curl > to wait longer:
I don't think this will help, because the problem is the 5 minute timeout in our Apache frontend webserver. -- Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/ _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
