From abe21f6fbb00e600d0cf1cdc43fce86fe788e0d9 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 26 Nov 2009 16:27:04 +0000
Subject: [PATCH] function doListGrammars in PGFService is obsolete

---
 src/server/PGFService.hs | 7 -------
 1 file changed, 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