From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Jun 2007 21:35:17 +0000 (+0000)
Subject: Change dispatcher principal name to be more consistent with other cases
X-Git-Tag: release_2010-11-19~194
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/d307ad55e460dd1ceb4fa0601e45546e2f2a87d3

Change dispatcher principal name to be more consistent with other cases
---

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