search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

Fix a small bug with the option parsing #112

Closed embray closed 7 years ago

embray commented 7 years ago

It was not possible to set the server URL in a config file because it would always be overridden by the value given by the --server command-line option, including its default value if it was not given explicitly.