mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 09:47:06 +00:00
T.P.Server: remove parseServerOpts.
[API change] We only use `parseServerOptsFromArgs`.
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user