| 1581 | } |
| 1582 | |
| 1583 | static void debug_parent_quit( int argc, const char * * argv ) |
| 1584 | { |
| 1585 | if ( debug_state == DEBUG_RUN ) |
| 1586 | { |
| 1587 | fprintf( command_output, "kill\n" ); |
| 1588 | fflush( command_output ); |
| 1589 | debug_parent_wait( 0 ); |
| 1590 | } |
| 1591 | exit( 0 ); |
| 1592 | } |
| 1593 | |
| 1594 | static const char * const help_text[][2] = |
| 1595 | { |
nothing calls this directly
no test coverage detected