+ m_process_t p = NULL;
+ m_process_t self = MSG_process_self();
+
+ while((p=xbt_fifo_pop(msg_global->process_list))) {
+ if(p!=self) MSG_process_kill(p);
+ }
+
+ if(reset_PIDs>0) {
+ msg_global->PID = reset_PIDs;
+ msg_global->session++;
+ }
+
+ return msg_global->PID;
+