Eelco Dolstra 22144afa8d Don't keep "disabled" substituters running ... For instance, it's pointless to keep copy-from-other-stores running if there are no other stores, or download-using-manifests if there are no manifests. This also speeds things up because we don't send queries to those substituters.		2013-06-20 11:55:15 +02:00
..
Nix	Don't keep "disabled" substituters running	2013-06-20 11:55:15 +02:00