Check return value of pool_fclose().

diff --git a/src/language/stats/ChangeLog b/src/language/stats/ChangeLog
index 3d09f528d6bfb0bcb2895c44c24f79bae96977f7..8794b8751ff60c3884a8c66d8f4a0f1b46bffec5 100644 (file)
--- a/src/language/stats/ChangeLog
+++ b/src/language/stats/ChangeLog
@@ -1,3 +1,7 @@
+Sun May  7 17:09:19 2006  Ben Pfaff  <blp@gnu.org>
+
+       * flip.c (flip_file): Check return value of pool_fclose().
+
 Sat May  6 16:00:13 2006  Ben Pfaff  <blp@gnu.org>
 
        Get rid of `char *c' member in union value, for cleanliness.

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index 3aed8323e29b8830bfe305d8ab913328ff4e7486..59f0c090a09a07ebe5310db34a5049f6c4149988 100644 (file)
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -474,7 +474,11 @@ flip_file (struct flip_pgm *flip)
       case_idx += read_cases;
     }
 
-  pool_fclose (flip->pool, input_file);
+  if (pool_fclose (flip->pool, input_file) == EOF)
+    {
+      msg (SE, _("Error closing FLIP source file: %s."), strerror (errno));
+      return false;
+    }
   pool_unregister (flip->pool, input_buf);
   free (input_buf);