+-- |The entry point of Lucu httpd.
module Network.HTTP.Lucu.Httpd
- ( ResourceTable
- , mkResourceTable -- [ ([String], Resource ()) ] -> ResourceTable
- , runHttpd -- Config -> ResourceTable -> IO ()
+ ( FallbackHandler
+ , runHttpd
)
where
import Control.Concurrent
-import qualified Data.ByteString.Lazy.Char8 as B
-import Data.ByteString.Lazy.Char8 (ByteString)
-import Data.Map as M
-import Data.Map (Map)
import Network
+import qualified Network.Socket as So
import Network.HTTP.Lucu.Config
-import Network.HTTP.Lucu.Parser
-import Network.HTTP.Lucu.Request
-import Network.HTTP.Lucu.Resource
-import Network.HTTP.Lucu.Response
+import Network.HTTP.Lucu.Interaction
+import Network.HTTP.Lucu.RequestReader
+import Network.HTTP.Lucu.Resource.Tree
+import Network.HTTP.Lucu.ResponseWriter
+import qualified OpenSSL.Session as SSL
import System.IO
+import System.Posix.Signals
-
-type ResourceTable = Map [String] (Resource ())
-
-
-mkResourceTable :: [ ([String], Resource ()) ] -> ResourceTable
-mkResourceTable = M.fromList
-
-
-runHttpd :: Config -> ResourceTable -> 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
+
+ case cnfSSLConfig cnf of
+ Nothing
+ -> return ()
+ Just scnf
+ -> do so <- listenOn (sslServerPort scnf)
+ _loopTID <- forkIO $ httpsLoop (sslContext scnf) so
+ return ()
+
+ httpLoop =<< listenOn (cnfServerPort cnf)
where
- loop :: Socket -> IO ()
- loop so
- = do (h, host, port) <- accept so
- forkIO $ service h host port
- loop so
+ httpLoop :: Socket -> IO ()
+ httpLoop so
+ = do (h, addr) <- acceptHTTP so
+ tQueue <- newInteractionQueue
+ readerTID <- forkIO $ requestReader cnf tree fbs h addr tQueue
+ _writerTID <- forkIO $ responseWriter cnf h tQueue readerTID
+ httpLoop so
+ httpsLoop :: SSL.SSLContext -> Socket -> IO ()
+ httpsLoop ctx so
+ = do (ssl, addr) <- acceptHTTPS ctx so
+ tQueue <- newInteractionQueue
+ readerTID <- forkIO $ requestReader cnf tree fbs ssl addr tQueue
+ _writerTID <- forkIO $ responseWriter cnf ssl tQueue readerTID
+ httpsLoop ctx so
-service :: Handle -> HostName -> PortNumber -> IO ()
-service h host port
- = do input <- B.hGetContents h
- loop input
- where
- loop :: ByteString -> IO ()
- loop input = case parse requestP input of
- Nothing
- -> fail "FIXME"
- Just (req, input')
- -> print req
+ acceptHTTP :: Socket -> IO (Handle, So.SockAddr)
+ acceptHTTP soSelf
+ = do (soPeer, addr) <- So.accept soSelf
+ hPeer <- So.socketToHandle soPeer ReadWriteMode
+ return (hPeer, addr)
+
+ acceptHTTPS :: SSL.SSLContext -> Socket -> IO (SSL.SSL, So.SockAddr)
+ acceptHTTPS ctx so
+ = do (so', addr) <- So.accept so
+ ssl <- SSL.connection ctx so'
+ SSL.accept ssl
+ return (ssl, addr)