diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2022-09-27 11:59:52 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-09-27 08:42:27 -0700 |
| commit | 175b791529a960bf7df8bccb8876783076b3d321 (patch) | |
| tree | 17df31777977ce93e22960b8796c56bde3967e7e /pandoc-cli/no-server | |
| parent | a3fd6c674d233f949f070ff10c131f3713b78b4e (diff) | |
pandoc-cli: support "lua" and "serve" as commands
Pandoc behaves like `pandoc-lua` and `pandoc-server` if the first
argument is `lua` and `serve`, respectively.
Diffstat (limited to 'pandoc-cli/no-server')
| -rw-r--r-- | pandoc-cli/no-server/PandocCLI/Server.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pandoc-cli/no-server/PandocCLI/Server.hs b/pandoc-cli/no-server/PandocCLI/Server.hs index 1f29be9f0..c2b391cbd 100644 --- a/pandoc-cli/no-server/PandocCLI/Server.hs +++ b/pandoc-cli/no-server/PandocCLI/Server.hs @@ -23,8 +23,8 @@ runCGI = serverUnsupported -- | Placeholder function for the HTTP server; prints an error message -- and exists with error code. -runServer :: IO () -runServer = serverUnsupported +runServer :: [String] -> IO () +runServer _args = serverUnsupported serverUnsupported :: IO () serverUnsupported = do |