org/simgrid/msg/ProcessKilled.java

   1 package org.simgrid.msg;
   2
   3 /** This exception class is only used to interrupt the java user code
   4  * when the process gets killed by an external event */
   5
   6 public class ProcessKilled extends RuntimeException {
   7         private static final long serialVersionUID = 1L;
   8
   9 }