Change dispatcher principal name to be more consistent with other cases

[hcoop/domtool2.git] / configDefault / apache.csg

signature APACHE_CONFIG = sig

    val reload : string
    val	down : string
    val	undown : string

    val reload1 : string
    val	down1 : string
    val	undown1 : string

    val confDir : string

    val	webNodes_all : (string * ConfigTypes.apache_info) list
    val webNodes_admin : (string * ConfigTypes.apache_info) list
    val webNodes_default : string list

    val proxyTargets : string list

    val	public_html : string

    val logDirOf : bool -> string -> string

end