Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
41f4454bc56a1ef4213e80e93b1873a33b557459
[simgrid.git] / src / bindings / java / org / simgrid / msg / ProcessKilledError.java
1 /* Copyright (c) 2006-2019. The SimGrid Team. All rights reserved.          */
2
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. */
5
6 package org.simgrid.msg;
7
8 /** Used internally to interrupt the user code when the process gets killed.
9  * Don't catch it.
10  */
11
12 public class ProcessKilledError extends Error {
13         private static final long serialVersionUID = 1L;
14         public ProcessKilledError(String s) {
15                 super(s);
16         }
17 }