diff options
| author | Philipp Stephani | 2017-06-12 16:39:15 +0200 |
|---|---|---|
| committer | Philipp Stephani | 2017-06-12 16:39:15 +0200 |
| commit | d29a9dae71395fccd419973e9c88f97af744581f (patch) | |
| tree | 29e343d74a92921c9ea151944c47ad2d98251d5e /src | |
| parent | 655439b71e25076dab83e8cfe65ef13696ac9a2e (diff) | |
| download | emacs-d29a9dae71395fccd419973e9c88f97af744581f.tar.gz emacs-d29a9dae71395fccd419973e9c88f97af744581f.zip | |
Flush all output streams before aborting
Maybe the stdout buffer still contains something interesting that
should be flushed.
* src/emacs-module.c (module_abort): Flush all output streams before
aborting.
Diffstat (limited to 'src')
| -rw-r--r-- | src/emacs-module.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/emacs-module.c b/src/emacs-module.c index 650065d74b9..6af9474025d 100644 --- a/src/emacs-module.c +++ b/src/emacs-module.c | |||
| @@ -1187,7 +1187,7 @@ module_abort (const char *format, ...) | |||
| 1187 | vfprintf (stderr, format, args); | 1187 | vfprintf (stderr, format, args); |
| 1188 | va_end (args); | 1188 | va_end (args); |
| 1189 | putc ('\n', stderr); | 1189 | putc ('\n', stderr); |
| 1190 | fflush (stderr); | 1190 | fflush (NULL); |
| 1191 | emacs_abort (); | 1191 | emacs_abort (); |
| 1192 | } | 1192 | } |
| 1193 | 1193 | ||