X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=fa0eb794010f75b9b2666334c08b827422ed04bd;hb=5b5099296b3c7212623991de8920e1459e234922;hp=5e4080b11f22ffa463f4bc0264b68de2736abd25;hpb=72ee644edd2f3dd7744baeff7dc513ad3800cf33;p=pspp

diff --git a/src/data/file-name.c b/src/data/file-name.c
index 5e4080b11f..fa0eb79401 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -128,12 +128,16 @@ fn_is_special (const char *file_name)
   return false;
 }
 
-/* Returns true if file with name NAME exists. */
+/* Returns true if file with name NAME exists, and that file is not a
+   directory */
 bool
 fn_exists (const char *name)
 {
   struct stat temp;
-  return stat (name, &temp) == 0;
+  if ( stat (name, &temp) != 0 )
+    return false;
+
+  return ! S_ISDIR (temp.st_mode);
 }
 
 /* Environment variables. */
@@ -166,7 +170,7 @@ fn_getenv_default (const char *key, const char *def)
 static FILE *
 safety_violation (const char *fn)
 {
-  msg (SE, _("Not opening pipe file `%s' because SAFER option set."), fn);
+  msg (SE, _("Not opening pipe file `%s' because %s option set."), fn, "SAFER");
   errno = EPERM;
   return NULL;
 }