#include "scc_signals.h" extern RCCE_FLAG flag_signals_enabled,flag_data_written; extern int *sig_array, *data_array, NUES, my_idag; 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, sig_read_ar[LINE_SIZE], tmp; RCCE_FLAG_STATUS receiver_status; char error_str[64]; fprintf(log_file,"I enter here with target_ID %d and sig %d\n",target_ID,sig); fflush(log_file); for (i=0; i