Change the way the Process are killed, since we need the java stack to be empty ...

[simgrid.git] / org / simgrid / msg / ProcessKilledException.java

diff --git a/org/simgrid/msg/ProcessKilled.java b/org/simgrid/msg/ProcessKilledException.java
similarity index 62%
rename from org/simgrid/msg/ProcessKilled.java
rename to org/simgrid/msg/ProcessKilledException.java
index f032341..d89e565 100644 (file)
--- a/org/simgrid/msg/ProcessKilled.java
+++ b/org/simgrid/msg/ProcessKilledException.java
@@ -3,7 +3,9 @@ package org.simgrid.msg;
 /** This exception class is only used to interrupt the java user code 
  * when the process gets killed by an external event */
 
-public class ProcessKilled extends RuntimeException {
+public class ProcessKilledException extends RuntimeException {
        private static final long serialVersionUID = 1L;
-
+       public ProcessKilledException(String s) {
+               super(s);
+       }
 }