org/simgrid/msg/ProcessKilledError.java

   1 package org.simgrid.msg;
   2
   3 /** This error class is only used to interrupt the java user code
   4  * when the process gets killed by an external event.
   5  * Don't catch it.
   6  */
   7
   8 public class ProcessKilledError extends Error {
   9         private static final long serialVersionUID = 1L;
  10         public ProcessKilledError(String s) {
  11                 super(s);
  12         }
  13 }