diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-14 13:52:45 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-14 13:52:45 +0000 |
| commit | 2cc39661d9e9b6c04dc71c79b210c475aed4bd03 (patch) | |
| tree | 8e1b93000504f8d2d1f23a0d47c84f4d9d719732 /src/compiler/GFI.hs | |
| parent | 595a69ba0c7898450fc87e1ab9adbf484d3ba7fd (diff) | |
Add flag --document-root for user with gf --server
This can make it easier to test cloud service updates before installing them.
Diffstat (limited to 'src/compiler/GFI.hs')
| -rw-r--r-- | src/compiler/GFI.hs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index cccbbce39..f2afa9b78 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -71,8 +71,11 @@ shell opts files = loop opts =<< runSIO (importInEnv emptyGFEnv opts files) #ifdef SERVER_MODE mainServerGFI opts0 port files = - server port (execute1 opts) =<< runSIO (importInEnv emptyGFEnv opts files) - where opts = beQuiet opts0 + server port root (execute1 opts) + =<< runSIO (importInEnv emptyGFEnv opts files) + where + root = flag optDocumentRoot opts + opts = beQuiet opts0 #else mainServerGFI opts files = error "GF has not been compiled with server mode support" |