annotate lib/closeout.c @ 6627:9e28dc7b0d44

* closeout.c (close_stdout): Don't assume 'bool' converts nonzero ints to 0 or 1, as this isn't true for the stdbool.h substitute.
author Paul Eggert <eggert@cs.ucla.edu>
date Wed, 08 Feb 2006 00:04:23 +0000
parents 96c32553b4c6
children 3e074d71e4d1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
1 /* closeout.c - close standard output
5159
a535859efd14 Merge from coreutils.
Paul Eggert <eggert@cs.ucla.edu>
parents: 4469
diff changeset
2
6627
9e28dc7b0d44 * closeout.c (close_stdout): Don't assume 'bool' converts nonzero
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
3 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004, 2006 Free
9e28dc7b0d44 * closeout.c (close_stdout): Don't assume 'bool' converts nonzero
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
4 Software Foundation, Inc.
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
5
Jim Meyering <jim@meyering.net>
parents:
diff changeset
6 This program is free software; you can redistribute it and/or modify
Jim Meyering <jim@meyering.net>
parents:
diff changeset
7 it under the terms of the GNU General Public License as published by
Jim Meyering <jim@meyering.net>
parents:
diff changeset
8 the Free Software Foundation; either version 2, or (at your option)
Jim Meyering <jim@meyering.net>
parents:
diff changeset
9 any later version.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
10
Jim Meyering <jim@meyering.net>
parents:
diff changeset
11 This program is distributed in the hope that it will be useful,
Jim Meyering <jim@meyering.net>
parents:
diff changeset
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
Jim Meyering <jim@meyering.net>
parents:
diff changeset
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Jim Meyering <jim@meyering.net>
parents:
diff changeset
14 GNU General Public License for more details.
Jim Meyering <jim@meyering.net>
parents:
diff changeset
15
Jim Meyering <jim@meyering.net>
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
Jim Meyering <jim@meyering.net>
parents:
diff changeset
17 along with this program; if not, write to the Free Software Foundation,
5848
a48fb0e98c8c *** empty log message ***
Paul Eggert <eggert@cs.ucla.edu>
parents: 5445
diff changeset
18 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
19
6259
96c32553b4c6 Use a consistent style for including <config.h>.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5848
diff changeset
20 #ifdef HAVE_CONFIG_H
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
21 # include <config.h>
Jim Meyering <jim@meyering.net>
parents:
diff changeset
22 #endif
Jim Meyering <jim@meyering.net>
parents:
diff changeset
23
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
24 #include "closeout.h"
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
25
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
26 #include <stdio.h>
5445
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
27 #include <stdbool.h>
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
28 #include <errno.h>
Jim Meyering <jim@meyering.net>
parents:
diff changeset
29
3966
22d3032f0239 Include gettext.h instead of <libintl.h> with #ifdefs.
Bruno Haible <bruno@clisp.org>
parents: 3690
diff changeset
30 #include "gettext.h"
22d3032f0239 Include gettext.h instead of <libintl.h> with #ifdefs.
Bruno Haible <bruno@clisp.org>
parents: 3690
diff changeset
31 #define _(msgid) gettext (msgid)
22d3032f0239 Include gettext.h instead of <libintl.h> with #ifdefs.
Bruno Haible <bruno@clisp.org>
parents: 3690
diff changeset
32
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
33 #include "error.h"
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
34 #include "exitfail.h"
2522
31ce9e1b6eea <sys/stat.h>, <sys/types.h>, <unistd.h>, (STDOUT_FILENO):
Jim Meyering <jim@meyering.net>
parents: 2519
diff changeset
35 #include "quotearg.h"
5445
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
36 #include "__fpending.h"
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
37
5318
7c24a825b51d Remove dependencies on unlocked-io.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5159
diff changeset
38 #if USE_UNLOCKED_IO
7c24a825b51d Remove dependencies on unlocked-io.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5159
diff changeset
39 # include "unlocked-io.h"
7c24a825b51d Remove dependencies on unlocked-io.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5159
diff changeset
40 #endif
7c24a825b51d Remove dependencies on unlocked-io.
Paul Eggert <eggert@cs.ucla.edu>
parents: 5159
diff changeset
41
2522
31ce9e1b6eea <sys/stat.h>, <sys/types.h>, <unistd.h>, (STDOUT_FILENO):
Jim Meyering <jim@meyering.net>
parents: 2519
diff changeset
42 static const char *file_name;
2513
be6bb70a4fea [default_exit_status]: New file-scoped variable.
Jim Meyering <jim@meyering.net>
parents: 1772
diff changeset
43
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
44 /* Set the file name to be reported in the event an error is detected
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
45 by close_stdout. */
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
46 void
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
47 close_stdout_set_file_name (const char *file)
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
48 {
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
49 file_name = file;
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
50 }
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
51
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
52 /* Close standard output, exiting with status 'exit_failure' on failure.
5404
04b4ef0ffac8 Ensure that no close failure goes unreported.
Jim Meyering <jim@meyering.net>
parents: 5318
diff changeset
53 If a program writes *anything* to stdout, that program should close
1772
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
54 stdout and make sure that it succeeds before exiting. Otherwise,
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
55 suppose that you go to the extreme of checking the return status
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
56 of every function that does an explicit write to stdout. The last
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
57 printf can succeed in writing to the internal stream buffer, and yet
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
58 the fclose(stdout) could still fail (due e.g., to a disk full error)
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
59 when it tries to write out that buffered data. Thus, you would be
69f2bf72fbe3 fix comments
Jim Meyering <jim@meyering.net>
parents: 1662
diff changeset
60 left with an incomplete output file and the offending program would
5404
04b4ef0ffac8 Ensure that no close failure goes unreported.
Jim Meyering <jim@meyering.net>
parents: 5318
diff changeset
61 exit successfully. Even calling fflush is not always sufficient,
04b4ef0ffac8 Ensure that no close failure goes unreported.
Jim Meyering <jim@meyering.net>
parents: 5318
diff changeset
62 since some file systems (NFS and CODA) buffer written/flushed data
04b4ef0ffac8 Ensure that no close failure goes unreported.
Jim Meyering <jim@meyering.net>
parents: 5318
diff changeset
63 until an actual close call.
1662
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
64
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
65 Besides, it's wasteful to check the return value from every call
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
66 that writes to stdout -- just let the internal stream state record
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
67 the failure. That's what the ferror test is checking below.
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
68
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
69 It's important to detect such failures and exit nonzero because many
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
70 tools (most notably `make' and other build-management systems) depend
096732ffc839 Add comments.
Jim Meyering <jim@meyering.net>
parents: 1278
diff changeset
71 on being able to detect failure in other tools via their exit status. */
2838
fd547e6c4244 Include "__fpending.h".
Jim Meyering <jim@meyering.net>
parents: 2522
diff changeset
72
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
73 void
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
74 close_stdout (void)
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
75 {
6627
9e28dc7b0d44 * closeout.c (close_stdout): Don't assume 'bool' converts nonzero
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
76 bool none_pending = (__fpending (stdout) == 0);
9e28dc7b0d44 * closeout.c (close_stdout): Don't assume 'bool' converts nonzero
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
77 bool prev_fail = (ferror (stdout) != 0);
9e28dc7b0d44 * closeout.c (close_stdout): Don't assume 'bool' converts nonzero
Paul Eggert <eggert@cs.ucla.edu>
parents: 6259
diff changeset
78 bool fclose_fail = (fclose (stdout) != 0);
5445
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
79
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
80 if (prev_fail || fclose_fail)
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
81 {
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
82 int e = fclose_fail ? errno : 0;
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
83 char const *write_error;
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
84
5445
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
85 /* If ferror returned zero, no data remains to be flushed, and we'd
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
86 otherwise fail with EBADF due to a failed fclose, then assume that
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
87 it's ok to ignore the fclose failure. That can happen when a
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
88 program like cp is invoked like this `cp a b >&-' (i.e., with
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
89 stdout closed) and doesn't generate any output (hence no previous
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
90 error and nothing to be flushed). */
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
91 if (e == EBADF && !prev_fail && none_pending)
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
92 return;
2522
31ce9e1b6eea <sys/stat.h>, <sys/types.h>, <unistd.h>, (STDOUT_FILENO):
Jim Meyering <jim@meyering.net>
parents: 2519
diff changeset
93
5445
fe44cfd53b9d Include "__fpending.h" once again.
Jim Meyering <jim@meyering.net>
parents: 5404
diff changeset
94 write_error = _("write error");
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
95 if (file_name)
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
96 error (exit_failure, e, "%s: %s", quotearg_colon (file_name),
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
97 write_error);
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
98 else
4469
df96fe512139 (close_stdout_set_status, close_stdout_status): Remove.
Jim Meyering <jim@meyering.net>
parents: 3966
diff changeset
99 error (exit_failure, e, "%s", write_error);
2519
53352ce5b0d1 (close_stdout_set_file_name): New function.
Jim Meyering <jim@meyering.net>
parents: 2513
diff changeset
100 }
1197
Jim Meyering <jim@meyering.net>
parents:
diff changeset
101 }