Fix unintentional punning of masterNode and dispatcherName
authorClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Jul 2012 23:45:38 +0000 (19:45 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Jul 2012 23:45:38 +0000 (19:45 -0400)
commit94b55bf756c248d3679dd3511a18eb49fb1298de
tree93b550df90be02b5b7bb44ea5453a82961187c34
parent9a8de13739d797ae324dcf0387f24eda3cdcb4a9
Fix unintentional punning of masterNode and dispatcherName
* masterNode is the DNS master, not the domtool dispatcher, but it was
  overloaded
* Luckily, there is a dispatcherName and a simple substitution fixes it
src/main.sml