Platform generation: record the router id

diff --git a/src/surf/platf_generator.c b/src/surf/platf_generator.c
index 90c2d8d..db59a92 100644 (file)
--- a/src/surf/platf_generator.c
+++ b/src/surf/platf_generator.c
@@ -653,7 +653,8 @@ void platf_generate(void) {
         sg_platf_new_cluster(cluster_parameters);
         break;
       case ROUTER:
         sg_platf_new_cluster(cluster_parameters);
         break;
       case ROUTER:

-        router_parameters.id = bprintf("router-%d", ++last_router);
+        node_data->router_id = bprintf("router-%d", ++last_router);
+        router_parameters.id = node_data->router_id;

         sg_platf_new_router(&router_parameters);
     }
   }
         sg_platf_new_router(&router_parameters);
     }
   }