Honor cnfServerV4Addr and cnfServerV6Addr.

[Lucu.git] / Network / HTTP / Lucu / Httpd.hs

diff --git a/Network/HTTP/Lucu/Httpd.hs b/Network/HTTP/Lucu/Httpd.hs
index 7b0a565f2b1bc08ea56a93f40e7bc4c643c66a02..d9f28f110e5f1c668a3fc9f539b9f2c4981e3959 100644 (file)
--- a/Network/HTTP/Lucu/Httpd.hs
+++ b/Network/HTTP/Lucu/Httpd.hs
@@ -1,31 +1,138 @@
+-- |The entry point of Lucu httpd.
 module Network.HTTP.Lucu.Httpd
-    ( runHttpd        -- Config -> ResTree -> IO ()
+    ( FallbackHandler
+    , runHttpd
     )
     where
 
 import           Control.Concurrent
-import           Control.Concurrent.STM
-import qualified Data.ByteString.Lazy.Char8 as B
-import           Data.ByteString.Lazy.Char8 (ByteString)
-import           Network
+import           Control.Exception
+import           Control.Monad
+import           Network.BSD
+import           Network.Socket
 import           Network.HTTP.Lucu.Config
 import           Network.HTTP.Lucu.Interaction
 import           Network.HTTP.Lucu.RequestReader
-import           Network.HTTP.Lucu.Resource
+import           Network.HTTP.Lucu.Resource.Tree
 import           Network.HTTP.Lucu.ResponseWriter
-import           System.IO
+import           Network.HTTP.Lucu.SocketLike as SL
+import           System.Posix.Signals
 
-
-runHttpd :: Config -> ResTree -> IO ()
-runHttpd cnf table
+-- |This is the entry point of Lucu httpd. It listens to a socket and
+-- waits for clients. Computation of 'runHttpd' never stops by itself
+-- so the only way to stop it is to raise an exception in the thread
+-- computing it.
+--
+-- Note that 'runHttpd' automatically makes SIGPIPE be ignored by
+-- computing @'System.Posix.Signals.installHandler'
+-- 'System.Posix.Signals.sigPIPE' 'System.Posix.Signals.Ignore'
+-- 'Prelude.Nothing'@. This can hardly cause a problem but it may do.
+--
+-- Example:
+--
+-- > module Main where
+-- > import Network.HTTP.Lucu
+-- > 
+-- > main :: IO ()
+-- > main = let config    = defaultConfig
+-- >            resources = mkResTree [ ([], helloWorld) ]
+-- >        in
+-- >          runHttpd config resourcees []
+-- >
+-- > helloWorld :: ResourceDef
+-- > helloWorld = ResourceDef {
+-- >                resUsesNativeThread = False
+-- >              , resIsGreedy         = False
+-- >              , resGet
+-- >                  = Just $ do setContentType $ read "text/plain"
+-- >                              output "Hello, world!"
+-- >              , resHead   = Nothing
+-- >              , resPost   = Nothing
+-- >              , resPut    = Nothing
+-- >              , resDelete = Nothing
+-- >              }
+runHttpd :: Config -> ResTree -> [FallbackHandler] -> IO ()
+runHttpd cnf tree fbs
     = withSocketsDo $
-      do so <- listenOn (cnfServerPort cnf)
-         loop so
+      do _ <- installHandler sigPIPE Ignore Nothing
+
+         -- FIXME: TERRIBLE CODE. NEED MAJOR REWRITE.
+         case cnfSSLConfig cnf of
+           Nothing
+               -> return ()
+           Just scnf
+               -> do case cnfServerV4Addr cnf of
+                       Nothing
+                           -> return ()
+                       Just v4addr
+                           -> do so <- listenOn AF_INET v4addr (sslServerPort scnf)
+                                 p  <- socketPort so
+                                 -- FIXME: Don't throw away the thread
+                                 -- ID as we can't kill it later
+                                 -- then. [1]
+                                 _  <- forkIO $ httpLoop p (sslContext scnf, so)
+                                 return ()
+
+                     case cnfServerV6Addr cnf of
+                       Nothing
+                           -> return ()
+                       Just v6addr
+                           -> do so <- listenOn AF_INET6 v6addr (sslServerPort scnf)
+                                 p  <- socketPort so
+                                 -- FIXME: [1]
+                                 _  <- forkIO $ httpLoop p (sslContext scnf, so)
+                                 return ()
+         
+         case cnfServerV4Addr cnf of
+           Nothing
+               -> return ()
+           Just v4addr
+               -> do so <- listenOn AF_INET v4addr (cnfServerPort cnf)
+                     p  <- socketPort so
+                     -- FIXME: [1]
+                     _  <- forkIO $ httpLoop p so
+                     return ()
+
+         case cnfServerV6Addr cnf of
+           Nothing
+               -> return ()
+           Just v6addr
+               -> do so <- listenOn AF_INET6 v6addr (cnfServerPort cnf)
+                     p  <- socketPort so
+                     -- FIXME: [1]
+                     _  <- forkIO $ httpLoop p so
+                     return ()
+
+         waitForever
     where
-      loop :: Socket -> IO ()
-      loop so
-          = do (h, host, _) <- accept so
-               tQueue       <- newInteractionQueue
-               readerTID    <- forkIO $ requestReader cnf table h host tQueue
-               writerTID    <- forkIO $ responseWriter cnf h tQueue readerTID
-               loop so
+      listenOn :: Family -> HostName -> ServiceName -> IO Socket
+      listenOn fam host srv
+          = do proto <- getProtocolNumber "tcp"
+               let hints = defaultHints {
+                             addrFlags      = [AI_PASSIVE]
+                           , addrFamily     = fam
+                           , addrSocketType = Stream
+                           , addrProtocol   = proto
+                           }
+               addrs <- getAddrInfo (Just hints) (Just host) (Just srv)
+               let addr = head addrs
+               bracketOnError
+                   (socket (addrFamily addr) (addrSocketType addr) (addrProtocol addr))
+                   (sClose)
+                   (\ sock ->
+                        do setSocketOption sock ReuseAddr 1
+                           bindSocket sock (addrAddress addr)
+                           listen sock maxListenQueue
+                           return sock
+                   )
+
+      httpLoop :: SocketLike s => PortNumber -> s -> IO ()
+      httpLoop port so
+          = do (h, addr)  <- SL.accept so
+               tQueue     <- newInteractionQueue
+               readerTID  <- forkIO $ requestReader cnf tree fbs h port addr tQueue
+               _writerTID <- forkIO $ responseWriter cnf h tQueue readerTID
+               httpLoop port so
+
+      waitForever :: IO ()
+      waitForever = forever (threadDelay 1000000)