A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 */
/** 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 ProcessKilled
Exception
extends RuntimeException {
private static final long serialVersionUID = 1L;
private static final long serialVersionUID = 1L;
-
+ public ProcessKilledException(String s) {
+ super(s);
+ }
}
}