gf -server[=port]

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 c2b5aba409
commit 20b4ff07e3
4 changed files with 13 additions and 7 deletions

View File

@@ -45,5 +45,5 @@ mainOpts opts files =
ModeHelp -> putStrLn helpMessage
ModeInteractive -> mainGFI opts files
ModeRun -> mainRunGFI opts files
ModeServer -> mainServerGFI opts files
ModeServer port -> mainServerGFI opts port files
ModeCompiler -> mainGFC opts files