Make sure an output device is allocated before calling terminal_sepline(),
authorIngo Schwarze <schwarze@openbsd.org>
Sun, 18 Sep 2016 15:22:08 +0000 (15:22 +0000)
committerIngo Schwarze <schwarze@openbsd.org>
Sun, 18 Sep 2016 15:22:08 +0000 (15:22 +0000)
commit3e60e11433f93686186391d27f5b2c8104dac503
treeaae81553cbb2743f0e03a3adc024e56dfbf3dcd9
parentf9af2dc93167d66751a64bd05173086b7ec03e2d
Make sure an output device is allocated before calling terminal_sepline(),
fixing a NULL pointer access that happened when the first of multiple pages
shown was preformatted, as in "man -a groff troff".
Crash reported by <jmates at ee dot washington dot edu> on bugs@, thanks!
main.c