Remove Config.{dispatcher,defaultNode}
authorClinton Ebadi <clinton@unknownlamer.org>
Fri, 25 Apr 2014 22:58:03 +0000 (18:58 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Fri, 25 Apr 2014 22:59:25 +0000 (18:59 -0400)
commit201b83c73c5a4e09dcf4c3f2f9b94ded360c78c6
treea5a9fdb1adfcc6b629ca1680cbc3acddf99c0f0e
parentb3f18c3576e81cfd6c49d62ad2b69986e17d82c4
Remove Config.{dispatcher,defaultNode}

defaultNode was punned to dispatcherName, and dispatcher relied on
other values in the file. I.e. you had to set all three to change the
dispatcher! Consolidate all into dispatcherName.
configDefault/domtool.cfg
configDefault/domtool.cfs
src/domain.sml
src/mail/vmail.sml
src/main.sml