#include "scc_signals.h" extern RCCE_FLAG flag_signals_enabled,flag_data_written; extern int *sig_array, *data_array, NUES; extern int node_id, num_apps_terminated; extern FILE *log_file; int scc_kill(int target_ID, int sig) { int sig_array_local[LINE_SIZE], error, str_len, i; RCCE_FLAG_STATUS receiver_status; char error_str[64]; //printf("I am %d and i enter here with target_ID %d\n",node_id,target_ID); for (i=0; i