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  *
  10  * You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
  11  *
  12  * <code>
  13  * try {
  14  *   getHost().off();
  15  * } catch (ProcessKilledError e) {
  16  *   e.printStackTrace();
  17  *   throw e;
  18  * }
  19  * </code>
  20  */
  21
  22 public class ProcessKilledError extends Error {
  23         private static final long serialVersionUID = 1L;
  24         public ProcessKilledError(String s) {
  25                 super(s);
  26         }
  27 }