/**
* This method kill a process.
- * @param process the process to be killed.
*
*/
public native void kill();
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.
*
* FIXME: Not optimal, maybe we should have two native functions.
* @param millis the length of time to sleep in milliseconds.
*/
- public static void sleep(long millis) {
+ public static void sleep(long millis) throws HostFailureException {
sleep(millis,0);
}
/**
* @param millis the length of time to sleep in milliseconds.
* @param nanos additionnal nanoseconds to sleep.
*/
- public native static void sleep(long millis, int nanos);
+ public native static void sleep(long millis, int nanos) throws HostFailureException;
/**
* Makes the current process sleep until time seconds have elapsed.
* @param seconds The time the current process must sleep.
*/
- public native void waitFor(double seconds);
+ public native void waitFor(double seconds) throws HostFailureException;
/**
*
*/
catch(ProcessKilledError pk) {
}
+ exit();
}
/**
*/
public abstract void main(String[]args) throws MsgException;
-
+ public native void exit();
/**
* Class initializer, to initialize various JNI stuff
*/