| 875 | } |
| 876 | |
| 877 | static void debug_parent_child_exited( int pid, int exit_code ) |
| 878 | { |
| 879 | if ( debug_interface == DEBUG_INTERFACE_CONSOLE ) |
| 880 | { |
| 881 | printf( "Child %d exited with status %d\n", (int)child_pid, (int)exit_code ); |
| 882 | } |
| 883 | else if ( debug_interface == DEBUG_INTERFACE_MI ) |
| 884 | { |
| 885 | if ( exit_code == 0 ) |
| 886 | printf( "*stopped,reason=\"exited-normally\"\n(gdb) \n" ); |
| 887 | else |
| 888 | printf( "*stopped,reason=\"exited\",exit-code=\"%d\"\n(gdb) \n", exit_code ); |
| 889 | } |
| 890 | else |
| 891 | { |
| 892 | assert( !"Wrong value of debug_interface." ); |
| 893 | } |
| 894 | } |
| 895 | |
| 896 | #if !NT |
| 897 | |