From 15678a0fced17d9ed40b8a79985820b15dcc11d8 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 14 Dec 2011 15:28:27 +0000
Subject: gf -server[=port]

You can now specify which port the HTTP server should run on in server mode.
The default is 41296.
---
 src/compiler/GF.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/compiler/GF.hs')

diff --git a/src/compiler/GF.hs b/src/compiler/GF.hs
index ba5082fc8..052e02c88 100644
--- a/src/compiler/GF.hs
+++ b/src/compiler/GF.hs
@@ -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
-- 
cgit v1.2.3