From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 25 Dec 2011 18:39:50 +0000 (+0100)
Subject: document generic configuration variables (and fix MC one)
X-Git-Tag: exp_20120216~228
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d182c41b753fd4de1dc9b1e9923ea2034dbcdaac

document generic configuration variables (and fix MC one)
---

diff --git a/doc/options.doc b/doc/options.doc
index b0058a3147..f16fd1b225 100644
--- a/doc/options.doc
+++ b/doc/options.doc
@@ -205,18 +205,6 @@ available in <tt>examples/msg/gtnets/crosstraffic-p.xml</tt>.
 This is activated through the \b network/crosstraffic variable, that
 can be set to 0 (disable this feature) or 1 (enable it).
 
-\section options_modelchecking Model-Checking
-\subsection options_modelchecking_howto How to use it
-To enable the experimental SimGrid model-checking support the program should
-be executed with the command line argument 
-\verbatim
---cfg=model-check:1 
-\endverbatim
-Properties are expressed as assertions using the function
-\verbatim
-void MC_assert(int prop);
-\endverbatim
-
 \subsection options_model_network_coord Coordinated-based network models
 
 When you want to use network coordinates, as it happens when you use
@@ -233,6 +221,37 @@ the same network card through the \b network/sender_gap variable. This
 is still under investigation as of writting, and the default value is
 to wait 0 seconds between emissions (no gap applied).
 
+\section options_modelchecking Model-Checking specific configuration variables
+
+To enable the experimental SimGrid model-checking support the program should
+be executed with the command line argument 
+\verbatim
+--cfg=model-check:1 
+\endverbatim
+Properties are expressed as assertions using the function
+\verbatim
+void MC_assert(int prop);
+\endverbatim
+
+\section options_generic Various generic configuration variables
+
+\section options_generic_path XML file inclusion path
+
+It is possible to specify a list of directories to search into for the
+\<include\> tag in XML files by using the \b path configuration
+variable. To add several directory to the path, set the configuration
+variable several times, as in \verbatim
+--cfg=path:toto --cfg=path:tutu
+\endverbatim
+
+\section options_generic_exit Behavior on Ctrl-C
+
+By default, when Ctrl-C is pressed, the status of all existing
+simulated processes is displayed. This is very useful to debug your
+code, but it can reveal troublesome in some cases (such as when the 
+amount of processes becomes really big). This behavior is disabled
+when \b verbose-exit is set to 0 (it is to 1 by default).
+
 \section options_index Index of all existing variables
 
 - \c cpu/maxmin_selective_update: \ref options_model_optim
@@ -252,6 +271,9 @@ to wait 0 seconds between emissions (no gap applied).
 - \c network/TCP_gamma: \ref options_model_network_gamma
 - \c network/weight_S: \ref options_model_network_coefs
 
+- \c path: \ref options_generic_path
+- \c verbose-exit: \ref options_generic_exit
+
 - \c workstation/model: \ref options_model_select
 
 */
\ No newline at end of file
diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 2c5a835464..597a36bca9 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -43,7 +43,7 @@ static void _XBT_CALL inthandler(int ignored)
      SIMIX_display_process_status();
   }
   else {
-     XBT_INFO("CTRL-C pressed. bailing out without displaying because verbose-exit disabled");
+     XBT_INFO("CTRL-C pressed. bailing out without displaying because verbose-exit is disabled");
   }
   exit(1);
 }
diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index db5e5d73d0..1f3380dd5e 100644
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -445,7 +445,7 @@ void surf_config_init(int *argc, char **argv)
        xbt_cfg_set_int(_surf_cfg_set, "model-check", default_value_int); */
 
     /* do verbose-exit */
-    default_value_int = 0;
+    default_value_int = 1;
     xbt_cfg_register(&_surf_cfg_set, "verbose-exit",
                      "Activate the \"do nothing\" mode in Ctrl-C",
                      xbt_cfgelm_int, &default_value_int, 0, 1,