GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-06 17:52:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

gf -server[=port]

Browse Source 
You can now specify which port the HTTP server should run on in server mode.
The default is 41296.
This commit is contained in:
hallgren
2011-12-14 15:28:27 +00:00
parent 02bcfa2098
commit 15678a0fce
4 changed files with 13 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/compiler/GFI.hs
View File

@@ -69,8 +69,8 @@ mainGFI opts files = do
shell opts files = loop opts =<< importInEnv emptyGFEnv opts files
#ifdef SERVER_MODE
mainServerGFI opts0 files =
server (execute1 opts) =<< importInEnv emptyGFEnv opts files
mainServerGFI opts0 port files =
server port (execute1 opts) =<< importInEnv emptyGFEnv opts files
where opts = beQuiet opts0
#else
mainServerGFI opts files =