Paul Eggert
e79b06e6de
Avoid stdio in SIGINT handler
...
* admin/merge-gnulib (GNULIB_MODULES): Add ignore-value.
* lib/gnulib.mk, m4/gnulib-comp.m4: Regenerate.
* lib/ignore-value.h: New file, from gnulib.
* src/keyboard.c: Include it.
(write_stdout, read_stdin): New functions.
(handle_interrupt): Use them instead of printf and getchar,
and avoid fflush when handling signals.
2016-01-03 15:04:07 -08:00
..
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2015-10-13 23:34:47 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2015-09-25 00:23:18 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2012-11-03 11:54:17 -07:00
2013-10-07 14:37:19 -07:00
2016-01-01 01:13:18 -08:00
2013-10-07 14:37:19 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2012-08-24 21:27:32 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:38:07 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-03 15:04:07 -08:00
2016-01-01 01:13:18 -08:00
2016-01-03 15:04:07 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2014-06-14 17:17:21 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2013-01-31 22:30:51 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:34:24 -08:00
2016-01-01 01:34:24 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2012-08-02 17:42:11 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2012-08-02 17:42:11 -07:00
2016-01-01 01:13:18 -08:00
2015-10-13 23:34:47 -07:00
2016-01-01 01:13:18 -08:00
2015-10-13 23:34:47 -07:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:34:24 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00
2016-01-01 01:13:18 -08:00