diff options
| author | John MacFarlane <[email protected]> | 2022-09-27 22:05:21 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-09-27 22:10:04 -0700 |
| commit | fde83cdcab3ac7d982aa019b99ea393931205048 (patch) | |
| tree | 4a164e7a37730c3403aa9b60c04170103b32cbd2 /pandoc-server/src/Text/Pandoc | |
| parent | e12144d5beba6136101942fa6d93519414293b6a (diff) | |
T.P.Server: remove `parseServerOpts`.
[API change]
We only use `parseServerOptsFromArgs`.
Diffstat (limited to 'pandoc-server/src/Text/Pandoc')
| -rw-r--r-- | pandoc-server/src/Text/Pandoc/Server.hs | 6 |
1 files changed, 1 insertions, 5 deletions
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 |
