diff options
| author | hallgren <hallgren@chalmers.se> | 2012-09-25 18:38:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-09-25 18:38:13 +0000 |
| commit | 1adc0ed9f7ef98480f441474353eb39293d988c7 (patch) | |
| tree | 91a7c457c60a4b750df68a3b3e8863635a7fb149 /src/compiler/GF/Command | |
| parent | 69de623c17ad9b71005beff1cb208ed9a0b90ee5 (diff) | |
GF.Infra.SIO.hs: adding the SIO monad (where S = Shell or Safe)
The SIO monad is a restriction of the IO monad with two purposes:
+ Access to arbitrary IO operations can be turned off by setting the environment
variable GF_RESTRICTED. There is a limited set of IO operations that are
considered safe and always allowed.
+ It allows output to stdout to be captured. This can be used in gf -server
mode, where output of GF shell commands is made part of HTTP responses
returned to clients.
Diffstat (limited to 'src/compiler/GF/Command')
0 files changed, 0 insertions, 0 deletions