diff options
| -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 |
