Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

diff --git a/src/msg/msg_vm.c b/src/msg/msg_vm.c
index b8e800f..bda366c 100644 (file)
--- a/src/msg/msg_vm.c
+++ b/src/msg/msg_vm.c
@@ -149,10 +149,10 @@ void MSG_vm_resume(msg_vm_t vm) {
  * No extra delay occurs. If you want to simulate this too, you want to
  * use a #MSG_process_sleep() or something. I'm not quite sure.
  */
  * No extra delay occurs. If you want to simulate this too, you want to
  * use a #MSG_process_sleep() or something. I'm not quite sure.
  */

-void MSG_vm_shutdown(msg_vm_t vm) {
-  unsigned int cpt;
+void MSG_vm_shutdown(msg_vm_t vm)
+{

   m_process_t process;
   m_process_t process;

-  XBT_DEBUG("%d processes in the VM",xbt_dynar_length(vm->processes));
+  XBT_DEBUG("%lu processes in the VM", xbt_dynar_length(vm->processes));

   while (xbt_dynar_length(vm->processes) > 0) {
        process = xbt_dynar_get_as(vm->processes,0,m_process_t);
        MSG_process_kill(process);
   while (xbt_dynar_length(vm->processes) > 0) {
        process = xbt_dynar_get_as(vm->processes,0,m_process_t);
        MSG_process_kill(process);