Jakob Borg 89928ca8e4 Add discovery source priorities (fixes #2339)
Sources are given a priority, lower being better, when added to a
CachingMux.
2015-10-01 08:45:40 +02:00
..
2015-09-27 22:31:19 +02:00
2015-09-22 19:38:46 +02:00
2015-09-22 19:38:46 +02:00
2015-09-25 13:45:58 +02:00
2015-09-25 13:45:58 +02:00
2015-09-22 20:34:24 +02:00
2015-09-22 19:38:46 +02:00
2015-09-22 19:38:46 +02:00
2015-08-09 09:35:26 +02:00
2015-09-13 18:04:58 +02:00