diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 38180826d..84176baca 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -265,6 +265,8 @@ getLang' readLang i = limit, depth :: CGI (Maybe Int) limit = readInput "limit" depth = readInput "depth" + +start :: CGI Int start = maybe 0 id # readInput "start" trie :: CGI Bool |