From: Martin Quinson Date: Fri, 27 Jun 2014 06:48:26 +0000 (+0200) Subject: Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid X-Git-Tag: v3_12~964 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fc0a76c21f0bceb0314aee5d62f785ea8009495e?hp=-c Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid --- fc0a76c21f0bceb0314aee5d62f785ea8009495e diff --combined doc/doxygen/options.doc index d7d608c6c1,9ddb7fb76d..4ae9562f5c --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@@ -417,7 -417,7 +417,7 @@@ model checker (see \ref options_mc_perf In some cases, no stack guard page is used and the stack will silently overflow on other parts of the memory if the stack size is too small - for your application. This happens : + for your application. This happens : - on Windows systems; - when the model checker is enabled; @@@ -633,7 -633,7 +633,7 @@@ item several times, as in \verbati \subsection 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 +simulated processes is displayed before exiting the simulation. 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).