X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1283307f26e739e654d195f81cceee5ce1683d99..8e67b024cf0592ddef06e37870b36d4a4dfe058b:/src/bindings/java/org/simgrid/msg/ProcessKilledError.java

diff --git a/src/bindings/java/org/simgrid/msg/ProcessKilledError.java b/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
new file mode 100644
index 0000000000..5f7e327a86
--- /dev/null
+++ b/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
@@ -0,0 +1,21 @@
+/*
+ * Copyright 2006-2012 The SimGrid team
+ * All right reserved. 
+ *
+ * This program is free software; you can redistribute 
+ * it and/or modify it under the terms of the license 
+ * (GNU LGPL) which comes with this package.
+ */
+package org.simgrid.msg;
+
+/** This error class is only used to interrupt the java user code 
+ * when the process gets killed by an external event.
+ * Don't catch it.
+ */
+
+public class ProcessKilledError extends Error {
+	private static final long serialVersionUID = 1L;
+	public ProcessKilledError(String s) {
+		super(s);
+	}
+}