From fde83cdcab3ac7d982aa019b99ea393931205048 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 27 Sep 2022 22:05:21 -0700 Subject: T.P.Server: remove `parseServerOpts`. [API change] We only use `parseServerOptsFromArgs`. --- pandoc-server/src/Text/Pandoc/Server.hs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'pandoc-server/src/Text') diff --git a/pandoc-server/src/Text/Pandoc/Server.hs b/pandoc-server/src/Text/Pandoc/Server.hs index f37739e89..55eed87cb 100644 --- a/pandoc-server/src/Text/Pandoc/Server.hs +++ b/pandoc-server/src/Text/Pandoc/Server.hs @@ -9,7 +9,6 @@ module Text.Pandoc.Server , ServerOpts(..) , Params(..) , Blob(..) - , parseServerOpts , parseServerOptsFromArgs ) where @@ -39,7 +38,7 @@ import Skylighting (defaultSyntaxMap) import qualified Data.Map as M import Text.Collate.Lang (Lang (..), parseLang) import System.Console.GetOpt -import System.Environment (getArgs, getProgName) +import System.Environment (getProgName) import qualified Control.Exception as E import Text.Pandoc.Shared (safeStrRead, headerShift, filterIpynbOutput, eastAsianLineBreakFilter, stripEmptyParagraphs) @@ -92,9 +91,6 @@ cliOptions = ] -parseServerOpts :: IO ServerOpts -parseServerOpts = getArgs >>= parseServerOptsFromArgs - parseServerOptsFromArgs :: [String] -> IO ServerOpts parseServerOptsFromArgs args = do let handleUnknownOpt x = "Unknown option: " <> x -- cgit v1.2.3