Adding debug.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3947 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/examples/gras/synchro/philosopher.c b/examples/gras/synchro/philosopher.c
index e6652e9..8624696 100644 (file)
--- a/examples/gras/synchro/philosopher.c
+++ b/examples/gras/synchro/philosopher.c
@@ -131,8 +131,10 @@ int philosopher (int argc,char *argv[]) {
        
   INFO0("Cancel all childs");
   /* nuke them threads */
        
   INFO0("Cancel all childs");
   /* nuke them threads */

-  for (i=0; i<philosopher_amount; i++)
+  for (i=0; i<philosopher_amount; i++) {
+    INFO1("Canceling %p",philosophers[i]);

      xbt_thread_cancel(philosophers[i]);
      xbt_thread_cancel(philosophers[i]);

+  }

 
   xbt_mutex_unlock(dead_end);
   gras_exit();
 
   xbt_mutex_unlock(dead_end);
   gras_exit();