diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-08 13:20:50 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-08 13:20:50 +0000 |
| commit | 4d4a58e54aec97cfeb6e834521a9690afc91cdd5 (patch) | |
| tree | d79d398c539b36a20f820b38960a69dd757d057f /src | |
| parent | 00a08fb4fb2ede3219acd6c607be1b3e3e25b3d4 (diff) | |
GF shell restricted mode: found one more writeFile that should be restricted
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |