set_exit_status


Description:

public void set_exit_status (int exit_status)