If the user has specified identical preferences for instances of different

protocols, break the tie by comparing addresses, so we keep the ordering
unambiguous.

diff --git a/nest/rt-table.c b/nest/rt-table.c
index dcde0af865935b961d6f9cfa9cc01a7adc83de60..4c406cf7c3dd0ccd4e13bacd46062fc635550a2c 100644 (file)
--- a/nest/rt-table.c
+++ b/nest/rt-table.c
@@ -95,7 +95,14 @@ rte_better(rte *new, rte *old)
   if (new->pref < old->pref)
     return 0;
   if (new->attrs->proto->proto != old->attrs->proto->proto)
-    bug("Different protocols, but identical preferences => oops");     /* FIXME */
+    {
+      /*
+       *  If the user has configured protocol preferences, so that two different protocols
+       *  have the same preference, try to break the tie by comparing addresses. Not too
+       *  useful, but keeps the ordering of routes unambiguous.
+       */
+      return new->attrs->proto->proto > old->attrs->proto->proto;
+    }
   if (better = new->attrs->proto->rte_better)
     return better(new, old);
   return 0;