Eric Kow <[email protected]> added the comment: On Wed, Apr 21, 2010 at 13:37:18 +0000, Petr Ročkai wrote: > > * If remote repository is accessed through network, do not copy any cache > > entries from it. Taking local entries does not make sense and using > > network > > entries can lead to darcs hang when it tries to get to unaccessible > > host. > (see below)
> I think this is a problem. Oftentimes, people won't realise a repository > is partial and publish it. This used to work transparently and I think > that was a good thing. The right fix for the problems you mention is to > check for usability of sources and complain to the user. First, I notice that this patch was superseded by patch215 which was applied. Second, until we implement something like Petr suggests, how about copying *just* the network entries if the remote repository is accessed through a network? In any case, for the local entries it seems like deleting them is better than what we did before. -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9 __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch209> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
