script_terminate_key_name   26 core/script.c  static char script_terminate_key_name[20]; // TODO this is only here because there's no easy way to map key number back to name
script_terminate_key_name  144 core/script.c      strncpy(script_terminate_key_name,keyname,sizeof(script_terminate_key_name));
script_terminate_key_name  145 core/script.c      script_terminate_key_name[sizeof(script_terminate_key_name)-1] = 0;
script_terminate_key_name  152 core/script.c          sprintf(buf,"<EXIT=%s>",script_terminate_key_name);