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/GFServer.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

diff --git a/src/compiler/GFServer.hs b/src/compiler/GFServer.hs
index 2c98a0c32..b19b92512 100644
--- a/src/compiler/GFServer.hs
+++ b/src/compiler/GFServer.hs
@@ -40,7 +40,7 @@ import RunHTTP(cgiHandler)
 debug s = liftIO (logPutStrLn s)
 
 -- | Combined FastCGI and HTTP server
-server execute1 state0 = 
+server port execute1 state0 = 
   do --stderrToFile logFile
      state <- newMVar M.empty
      cache <- PS.newPGFCache
@@ -61,7 +61,6 @@ server execute1 state0 =
                     ++show port++"/ in your web browser."
          initServer port (modifyMVar state . handle state0 cache execute1)
 
-    port = 41296
 {-
 -- | FastCGI request handler
 handle_fcgi execute1 state0 stateM cache =
-- 
cgit v1.2.3