| 896 | #if !NT |
| 897 | |
| 898 | static void debug_parent_child_signalled( int pid, int id ) |
| 899 | { |
| 900 | |
| 901 | if ( debug_interface == DEBUG_INTERFACE_CONSOLE ) |
| 902 | { |
| 903 | printf( "Child %d exited on signal %d\n", child_pid, id ); |
| 904 | } |
| 905 | else if ( debug_interface == DEBUG_INTERFACE_MI ) |
| 906 | { |
| 907 | const char * name = "unknown"; |
| 908 | const char * meaning = "unknown"; |
| 909 | switch( id ) |
| 910 | { |
| 911 | case SIGINT: name = "SIGINT"; meaning = "Interrupt"; break; |
| 912 | } |
| 913 | printf("*stopped,reason=\"exited-signalled\",signal-name=\"%s\",signal-meaning=\"%s\"\n(gdb) \n", name, meaning); |
| 914 | } |
| 915 | else |
| 916 | { |
| 917 | assert( !"Wrong value of debug_interface." ); |
| 918 | } |
| 919 | } |
| 920 | |
| 921 | #endif |
| 922 | |