On Sun, Jul 17, 2011 at 10:23 PM, Benjamin C. Pierce <bcpierce at cis.upenn.edu> wrote: > I don't think this hurts anything -- just probably not needed. You're definitely right, I had not understood that the command line is parsed later one (during unisonInit1, right before connecting). Alan