GF shell restricted mode: found one more writeFile that should be restricted

2011-04-08 13:20:50 +00:00
parent 00a08fb4fb
commit 4d4a58e54a
1 changed files with 1 additions and 1 deletions
--- a/src/compiler/GF/Command/Commands.hs
+++ b/src/compiler/GF/Command/Commands.hs
@@ -171,7 +171,7 @@ allCommands env@(pgf, mos) = Map.fromList [
                 let file s = "_grph." ++ s
                 let view = optViewGraph opts
                 let format = optViewFormat opts 
-                 writeUTF8File (file "dot") grph
+                 restricted $ writeUTF8File (file "dot") grph
                 restrictedSystem $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format
                 restrictedSystem $ view ++ " " ++ file format
                 return void