diff options
author | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
commit | 6006546b4d015619b7d119d400fac819da6bc826 (patch) | |
tree | 2a1704a5c22cf2485917185316af0a5417a3de55 /src/util.cc | |
parent | 6adef091b0713941e1149ecf21a5ab6feee3b06d (diff) |
Factor out 'flush_failure' option handling
Diffstat (limited to 'src/util.cc')
-rw-r--r-- | src/util.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/util.cc b/src/util.cc index d899b2f2..d1bc6bbd 100644 --- a/src/util.cc +++ b/src/util.cc @@ -1221,6 +1221,18 @@ void flush(void) /* + * Flush input if the 'flush_failure' option is set. + */ +void flush_on_failure() +{ + if (flush_failure) + { + flush(); + } +} + + +/* * Flush the screen, make a noise */ void bell(void) |