HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
64a44dc
)
Change dispatcher principal name to be more consistent with other cases
author
Adam Chlipala
<adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000
(21:35 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000
(21:35 +0000)
configDefault/domtool.cfg
patch
|
blob
|
blame
|
history
diff --git
a/configDefault/domtool.cfg
b/configDefault/domtool.cfg
index
b6b56a0
..
34b7d69
100644
(file)
--- 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