From 4d4a58e54aec97cfeb6e834521a9690afc91cdd5 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 8 Apr 2011 13:20:50 +0000 Subject: [PATCH] GF shell restricted mode: found one more writeFile that should be restricted --- src/compiler/GF/Command/Commands.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 00d8e427a..cef46516b 100644 --- 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