diff options
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" |