diff options
| author | krasimir <krasimir@chalmers.se> | 2009-11-26 16:27:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-11-26 16:27:04 +0000 |
| commit | 2c54ad525ed08d2b7e828ffb72b64e81360d8d56 (patch) | |
| tree | 3f6928a04a385ca81fac0c502f5edd86ca08d39e /src | |
| parent | d7fba06bda6f1770625b68a91a236888497e8ded (diff) | |
function doListGrammars in PGFService is obsolete
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/PGFService.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 21914ba69..6ac7b1618 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -92,13 +92,6 @@ pgfMain pgf command = Just lang | lang `elem` PGF.languages pgf -> return $ Just lang | otherwise -> throwCGIError 400 "Unknown language" ["Unknown language: " ++ l] -doListGrammars :: IO JSValue -doListGrammars = - do cwd <- getCurrentDirectory - ps <- getDirectoryContents cwd - let fs = filter ((== ".pgf") . map toLower . takeExtension) $ map takeFileName ps - return $ showJSON $ map toJSObject [[("name", f)] | f <- fs] - doTranslate :: PGF -> String -> Maybe PGF.Type -> Maybe PGF.Language -> Maybe PGF.Language -> JSValue doTranslate pgf input mcat mfrom mto = showJSON |