# | Line 525 | Line 525 | int ec; | |
---|---|---|
525 | { | |
526 | int status = 0; | |
527 | ||
528 | – | if (outdev != NULL) /* close display */ |
529 | – | disp_close(); |
528 | if (hdlist[0] != NULL) { /* flush holodeck */ | |
529 | if (ncprocs > 0) { | |
530 | done_packets(flush_queue()); | |
# | Line 545 | Line 543 | int ec; | |
543 | } else | |
544 | hdflush(NULL); | |
545 | } | |
546 | + | if (outdev != NULL) /* close display */ |
547 | + | disp_close(); |
548 | exit(ec ? ec : status); /* exit */ | |
549 | } |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |