2 * Copyright 2006-2012 The SimGrid team
5 * This program is free software; you can redistribute
6 * it and/or modify it under the terms of the license
7 * (GNU LGPL) which comes with this package.
9 package org.simgrid.msg;
11 /** This error class is only used to interrupt the java user code
12 * when the process gets killed by an external event.
16 public class ProcessKilledError extends Error {
17 private static final long serialVersionUID = 1L;
18 public ProcessKilledError(String s) {