Use RAII for sthread_enable/disable.

[simgrid.git] / src / simgrid / sg_config.hpp

diff --git a/src/simgrid/sg_config.hpp b/src/simgrid/sg_config.hpp
index 10dbe7baa78fae63067fe2d3ad81014b07eee05a..25e4a168b2b05af60a6cce4a94a8ce4b44535c37 100644 (file)
--- a/src/simgrid/sg_config.hpp
+++ b/src/simgrid/sg_config.hpp
@@ -10,7 +10,7 @@
 
 /** Config Globals */
 
-XBT_PUBLIC_DATA int _sg_cfg_init_status;
+XBT_PUBLIC_DATA int _sg_cfg_init_status; /* 0: not inited; 1: config module inited; 2: root zone of platform created */
 
 XBT_PUBLIC void sg_config_init(int* argc, char** argv);
 XBT_PUBLIC void sg_config_finalize();