safe_exit


Description:

public static void safe_exit (int signal)

recieved a signal, exit Exit all the same on all signals for the time being.

Parameters:

signal The signal code, see: man 7 signal on unix systems