| 619 | } |
| 620 | } |
| 621 | void blkdev_exitgui (void) |
| 622 | { |
| 623 | for (int i = 0; i < MAX_TOTAL_SCSI_DEVICES; i++) { |
| 624 | struct blkdevstate *st = &state[i]; |
| 625 | if (st->waspaused) { |
| 626 | struct device_info di; |
| 627 | if (sys_command_info (i, &di, 1)) { |
| 628 | sys_command_cd_pause (i, 0); |
| 629 | } |
| 630 | } |
| 631 | st->waspaused = 0; |
| 632 | } |
| 633 | } |
| 634 | |
| 635 | void check_prefs_changed_cd (void) |
| 636 | { |
no test coverage detected