public int getPPID() {
return ppid;
}
+ /**
+ * Set the kill time of the process
+ * @param killTime the time when the process is killed
+ */
+ public native void setKillTime(double killTime);
+
/**
* This static method returns the currently running process.
*
catch(ProcessKilledError pk) {
}
+ exit();
}
/**
*/
public abstract void main(String[]args) throws MsgException;
-
+ public native void exit();
/**
* Class initializer, to initialize various JNI stuff
*/