- /* which model do you want today? */
- xbt_cfg_get_string (_msg_cfg_set, "surf_workstation_model",
- &workstation_model_name);
- if (!strcmp(workstation_model_name,"KCCFLN05")) {
- surf_workstation_resource_init_KCCFLN05(file);
- } else if (!strcmp(workstation_model_name,"CLM03")) {
- surf_workstation_resource_init_CLM03(file);
- } else {
- xbt_assert0(0,"The impossible happened (once again)");
- }
- _msg_init_status = 2; /* inited; don't change settings now */