X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fpermissions.c;h=f0ea817f9416bf670586e2ffcb7f64463ae280cb;hb=304c185799902df1dd96a8ff2d13d279005a82e5;hp=8737e631e5fa093eb6cfbb0c121abb9c0919898e;hpb=b016884ff112ca57e89f9d0298eb70079fece20d;p=pspp

diff --git a/src/permissions.c b/src/permissions.c
index 8737e631e5..f0ea817f94 100644
--- a/src/permissions.c
+++ b/src/permissions.c
@@ -25,6 +25,7 @@
 #include <unistd.h>
 #include <errno.h>
 
+#include "settings.h"
 #include "command.h"
 #include "error.h"
 #include "lexer.h"
@@ -95,6 +96,13 @@ change_permissions(const char *filename, enum PER per)
   struct stat buf;
   mode_t mode;
 
+  if ( safer_mode() )
+    {
+      msg (SE, _("This command not allowed when the SAFER option is set."));
+      return CMD_FAILURE;
+    }
+
+
   if ( -1 == stat(filename, &buf) ) 
     {
       const int errnum = errno;