free-theorems-webui-0.1: our_server_config/Paths.hs

{-# LANGUAGE NoMonomorphismRestriction #-}
module Paths
   ( getTemporaryDirectory
   , getPathToAdditionalTeXFiles
   , getLogDirectory
   , relativeURLOf
   )
where

{-
 -  root/
 -    |-- cgi-bin/
 -    |-- free-theorems/
 -         |-- lambdaTeX.tex
 -         |-- style.css
 -    |-- tmp/
 -         |-- free-theorems/
 -              |-- requests.csv
 -
 -}

import qualified System.Directory

getTemporaryDirectory =
   catch (System.Directory.getTemporaryDirectory)
         (\_ -> return ".")

getPathToAdditionalTeXFiles = return "../free-theorems"

getLogDirectory = return "../tmp/free-theorems"

relativeURLOf filename = "../free-theorems/" ++ filename