Rework the MSG navbar

[simgrid.git] / src / msg / global.c

diff --git a/src/msg/global.c b/src/msg/global.c
index 32967ae..4f0cf72 100644 (file)
--- a/src/msg/global.c
+++ b/src/msg/global.c
@@ -22,6 +22,7 @@ MSG_Global_t msg_global = NULL;
  *  \brief This section describes the functions you need to know to
  *  set up a simulation. You should have a look at \ref MSG_examples 
  *  to have an overview of their usage.
  *  \brief This section describes the functions you need to know to
  *  set up a simulation. You should have a look at \ref MSG_examples 
  *  to have an overview of their usage.

+ *    \htmlonly <!-- DOXYGEN_NAVBAR_LABEL="Simulation functions" --> \endhtmlonly

  */
 
 /********************************* MSG **************************************/
  */
 
 /********************************* MSG **************************************/


@@ -205,7 +206,7 @@ void MSG_paje_output(const char *filename)
 
   len = strlen(filename);
   if((len<ext_len) || (strncmp(filename+len-ext_len,ext,ext_len))) {
 
   len = strlen(filename);
   if((len<ext_len) || (strncmp(filename+len-ext_len,ext,ext_len))) {

-    CRITICAL2("%s does not end by \"%s\". It may cause troubles when using Paje\n",
+    CRITICAL2("The name of the Paje trace file \"%s\" does not end by \"%s\". Paje will cause difficulties to read it.\n",

              filename,ext);
   }
 
              filename,ext);
   }
 


@@ -236,6 +237,8 @@ void MSG_paje_output(const char *filename)
 /** \defgroup m_channel_management    Understanding channels
  *  \brief This section briefly describes the channel notion of MSG
  *  (#m_channel_t).
 /** \defgroup m_channel_management    Understanding channels
  *  \brief This section briefly describes the channel notion of MSG
  *  (#m_channel_t).

+ *    \htmlonly <!-- DOXYGEN_NAVBAR_LABEL="Channels" --> \endhtmlonly
+ * 

  *
  *  For convenience, the simulator provides the notion of channel
  *  that is close to the tag notion in MPI. A channel is not a
  *
  *  For convenience, the simulator provides the notion of channel
  *  that is close to the tag notion in MPI. A channel is not a


@@ -302,7 +305,7 @@ MSG_error_t MSG_main(void)
     }
 
     while ((process = xbt_fifo_pop(msg_global->process_to_run))) {
     }
 
     while ((process = xbt_fifo_pop(msg_global->process_to_run))) {

-      DEBUG3("Scheduling  %s(%d) on %s",            
+      DEBUG3("Scheduling %s(%d) on %s",             

             process->name,process->simdata->PID,
             process->simdata->host->name);
       msg_global->current_process = process;
             process->name,process->simdata->PID,
             process->simdata->host->name);
       msg_global->current_process = process;


@@ -466,7 +469,7 @@ int MSG_process_killall(int reset_PIDs)
   m_process_t p = NULL;
   m_process_t self = MSG_process_self();
 
   m_process_t p = NULL;
   m_process_t self = MSG_process_self();
 

-  while((p=xbt_fifo_shift(msg_global->process_list))) {
+  while((p=xbt_fifo_pop(msg_global->process_list))) {

     if(p!=self) MSG_process_kill(p);
   }
 
     if(p!=self) MSG_process_kill(p);
   }
 


@@ -494,7 +497,7 @@ MSG_error_t MSG_clean(void)
   m_process_t p = NULL;
 
 
   m_process_t p = NULL;
 
 

-  while((p=xbt_fifo_shift(msg_global->process_list))) {
+  while((p=xbt_fifo_pop(msg_global->process_list))) {

     MSG_process_kill(p);
   }
   xbt_context_exit();
     MSG_process_kill(p);
   }
   xbt_context_exit();