--- /dev/null
+/*
+ * 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);
+ }
+}