org/simgrid/msg/ProcessKilledException.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 ProcessKilledException extends RuntimeException {
   7         private static final long serialVersionUID = 1L;
   8         public ProcessKilledException(String s) {
   9                 super(s);
  10         }
  11 }