free-theorems-webui 0.2.0.1 → 0.2.1.0

raw patch · 6 files changed

+14/−7 lines, 6 filesdep +processdep −haskell98dep ~directorydep ~filepathnew-uploader

Dependencies added: process

Dependencies removed: haskell98

Dependency ranges changed: directory, filepath

Files

• GeneratePDF.hs +1/−1
• RunLocalServer.hs +1/−1
• TypesetAsImage.hs +1/−1
• default_config/Paths.hs +2/−1
• free-theorems-webui.cabal +7/−2
• our_server_config/Paths.hs +2/−1

@@ -4,7 +4,7 @@ import System.FilePath (replaceExtension, (</>)) import System.Directory (removeFile) import System.IO (openTempFile, hClose, hPutStr, getContents)-import System (system)+import System.Process (system) import Data.List (intercalate) import qualified Data.ByteString.Lazy as B 

@@ -1,4 +1,4 @@-import System+import System.Process (system) import Data.List  import Paths_free_theorems_webui

@@ -3,7 +3,7 @@ import System.FilePath (replaceExtension) import System.Directory (removeFile) import System.IO (openTempFile, hClose, hPutStr, getContents)-import System (system)+import System.Process (system) import Data.List (intercalate) import qualified Data.ByteString as BS import qualified Codec.Binary.Base64 as Base64

@@ -8,10 +8,11 @@  import Paths_free_theorems_webui (getDataDir) import qualified System.Directory+import Control.Exception.Base (catch, SomeException)  getTemporaryDirectory =    catch (System.Directory.getTemporaryDirectory)-         (\_ -> return ".")+         (\(_ :: SomeException) -> return ".")  getPathToAdditionalTeXFiles = getDataDir 

@@ -1,5 +1,5 @@ Name:     free-theorems-webui-Version:  0.2.0.1+Version:  0.2.1.0  Synopsis: CGI-based web interface for the free-theorems package. Description:@@ -66,11 +66,16 @@                 , filepath      >= 1.1.0.1                 , xhtml         >= 3000-2-0-1                 , dataenc-                , haskell98+                , process       >= 1.1.0.0+                , filepath      >= 1.3.0.0+                , directory     >= 1.2.0.0    if flag(our_server)       hs-source-dirs: . our_server_config    else       hs-source-dirs: . default_config++   extensions:+     ScopedTypeVariables  -- This is just a wrapper for the included Python script -- used to start a local CGI server for offline use.

@@ -20,10 +20,11 @@  -}  import qualified System.Directory+import Control.Exception.Base (catch, SomeException)  getTemporaryDirectory =    catch (System.Directory.getTemporaryDirectory)-         (\_ -> return ".")+         (\(_ :: SomeException) -> return ".")  getPathToAdditionalTeXFiles = return "../free-theorems"