for some reasons, the PID was sometimes not inited correctly in Java

[simgrid.git] / examples / java / app / masterworker / Worker.java

diff --git a/examples/java/app/masterworker/Worker.java b/examples/java/app/masterworker/Worker.java
index dc7d44f..20113dd 100644 (file)
--- a/examples/java/app/masterworker/Worker.java
+++ b/examples/java/app/masterworker/Worker.java
@@ -34,7 +34,7 @@ public class Worker extends Process {
       if ("finalize".equals(task.getName())) {
         break;
       }
-      Msg.info("Received \"" + task.getName() +  "\". Processing it.");
+      Msg.info("Received \"" + task.getName() +  "\". Processing it (my pid is "+getPID()+").");
       try {
         task.execute();
       } catch (TaskCancelledException e) {