Do not set TCP_gamma as a default value, but insist on running its callback since...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6376 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 3e76e71..c7891ae 100644 (file)
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -147,9 +147,9 @@ void surf_config_init(int *argc, char **argv) {
                                &_surf_cfg_cb__network_model, NULL);
                xbt_free(description);
 
-               double default_TCP_GAMMA = 20000.0;
                xbt_cfg_register(&_surf_cfg_set,"TCP_gamma","Size of the biggest TCP window",
-                                       xbt_cfgelm_double,&default_TCP_GAMMA,1,1,_surf_cfg_cb__tcp_gamma,NULL);
+                                       xbt_cfgelm_double,NULL,1,1,_surf_cfg_cb__tcp_gamma,NULL);
+               xbt_cfg_set_double(_surf_cfg_set,"TCP_gamma",20000.0);
 
                xbt_cfg_register(&_surf_cfg_set,"path","Lookup path for inclusions in platform and deployment XML files",
                                        xbt_cfgelm_string, NULL,0,0,_surf_cfg_cb__surf_path,NULL);