configDefault/apache.cfg

   1 structure Apache :> APACHE_CONFIG = struct
   2
   3 open ConfigTypes
   4
   5 val reload = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache"
   6 val down = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache-down"
   7 val undown = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache-undown"
   8
   9 val reload1 = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache1.3"
  10 val down1 = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache1.3-down"
  11 val undown1 = "/usr/bin/sudo /usr/local/sbin/domtool-publish apache1.3-undown"
  12
  13 val confDir = "/var/domtool/vhosts"
  14
  15 val webNodes_all = [("mire", {version = APACHE_1_3, auth = MOD_WAKLOG})]
  16 val webNodes_admin = [("deleuze", {version = APACHE_2, auth = NO_AUTH})]
  17
  18 val webNodes_default = ["mire"]
  19
  20 val proxyTargets = ["http://hcoop.net/cgi-bin/mailman",
  21                     "http://hcoop.net/pipermail"]
  22
  23 val public_html = "public_html"
  24
  25 fun logDirOf user =
  26     if size user < 2 then
  27         "/bad_username"
  28     else
  29         String.concat ["/var/log/apache/user/",
  30                        String.substring (user, 0, 1),
  31                        "/",
  32                        String.substring (user, 0, 2),
  33                        "/",
  34                        user,
  35                        "/apache/log"]
  36
  37 end