+ if (!strcmp(name,"coordinates")){
+ if(!strcmp(val,"yes") && !COORD_HOST_LEVEL){
+ XBT_INFO("Configuration change: Set '%s' to '%s'", name, val);
+ COORD_HOST_LEVEL = xbt_lib_add_level(host_lib,xbt_dynar_free_voidp);
+ COORD_ASR_LEVEL = xbt_lib_add_level(as_router_lib,xbt_dynar_free_voidp);
+ free(optionlist_cpy);
+ return;
+ }
+ if(strcmp(val,"yes"))
+ xbt_die("Setting CMD prop coordinates must be \"yes\"");
+ }
+