From d307ad55e460dd1ceb4fa0601e45546e2f2a87d3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jun 2007 21:35:17 +0000 Subject: [PATCH] Change dispatcher principal name to be more consistent with other cases --- configDefault/domtool.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg index b6b56a0..34b7d69 100644 --- a/configDefault/domtool.cfg +++ b/configDefault/domtool.cfg @@ -51,7 +51,7 @@ val certDir = "/afs/hcoop.net/common/etc/domtool/certs" val keyDir = "/afs/hcoop.net/common/etc/domtool/keys" val serialDir = "/afs/hcoop.net/common/etc/domtool/serials" -val dispatcherName = "deleuze.hcoop.net" +val dispatcherName = "deleuze" fun domtoolDir user = case user of -- 2.20.1