Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Surgical fix to default command line parameters #2090
This should get rid of all side-effects we encountered by providing the defaults in the JOptSimple parser already. Since #1961 did not remove any code concerning the "old" default handling this fix should be production ready.
However, as @cbeams mentioned in #1961, he has further changes regarding the command line argument parsing queued up. So