diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-08 15:17:08 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-08 15:17:08 -0700 |
| commit | 30074c12e5606fdd3cd545a807c3a4de99352073 (patch) | |
| tree | 4624fe601392221efa25efb54f81f090b5d26843 /server | |
| parent | 007483b2c36504d52654fc0062b4254a97aa68d3 (diff) | |
Server: Re-add /batch endpoint. We need it.
Diffstat (limited to 'server')
| -rw-r--r-- | server/PandocServer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/PandocServer.hs b/server/PandocServer.hs index 69fd8afce..7d4a7fc44 100644 --- a/server/PandocServer.hs +++ b/server/PandocServer.hs @@ -46,7 +46,7 @@ $(deriveJSON defaultOptions ''Params) type API = ReqBody '[JSON] Params :> Post '[PlainText, JSON] Text :<|> - ReqBody '[JSON] [Params] :> Post '[JSON] [Text] + "batch" :> ReqBody '[JSON] [Params] :> Post '[JSON] [Text] :<|> "babelmark" :> ReqBody '[JSON] Params :> Get '[JSON] Value :<|> |