1 /* Copyright (c) 2006-2016. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 package org.simgrid.msg;
8 /** Used internally to interrupt the user code when the process gets killed.
12 public class ProcessKilledError extends Error {
13 private static final long serialVersionUID = 1L;
14 public ProcessKilledError(String s) {