Change dispatcher principal name to be more consistent with other cases
authorAdam Chlipala <adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000 (21:35 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000 (21:35 +0000)
configDefault/domtool.cfg

index b6b56a0..34b7d69 100644 (file)
@@ -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 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
 
 fun domtoolDir user =
     case user of