diff options
| author | hallgren <hallgren@chalmers.se> | 2015-02-20 12:29:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-02-20 12:29:44 +0000 |
| commit | f6cb6d172e3f43203ca256d9b8f746233ea15a4e (patch) | |
| tree | c5dd3059f6bfa419cb2ba2c0d6a216fc2a43c13d /src/compiler/GF/Interactive.hs | |
| parent | e893d4139373e663af2955b68f54e8adb99ee845 (diff) | |
PGF Service: limit the number of parallel calls to the C run-time parse function to 4 by default
The limit can be changed with the -j flag
Diffstat (limited to 'src/compiler/GF/Interactive.hs')
| -rw-r--r-- | src/compiler/GF/Interactive.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs index b4a04658f..16495d9dd 100644 --- a/src/compiler/GF/Interactive.hs +++ b/src/compiler/GF/Interactive.hs @@ -71,11 +71,12 @@ shell opts files = loop opts =<< runSIO (importInEnv emptyGFEnv opts files) -- | Run the GF Server (@gf -server@). -- The 'Int' argument is the port number for the HTTP service. mainServerGFI opts0 port files = - server port root (execute1 opts) + server jobs port root (execute1 opts) =<< runSIO (importInEnv emptyGFEnv opts files) where root = flag optDocumentRoot opts opts = beQuiet opts0 + jobs = join (flag optJobs opts) #else mainServerGFI opts files = error "GF has not been compiled with server mode support" |