You can edit the file $DISCO_HOME/root/disco_[port].config. It
contains a list of lists, like:
[["localhost","1"]]
You can add ["host", num_workers] lists to the lists.
I can't seem to reproduce the issue you are having but hopefully we
can fix it somehow in the next release.
jared