search

diversicon-kb / divercli

Command Line Interface for Diversicon
http://diversicon-kb.eu/tools
Other
0 stars 0 forks source link

more options for fetching #14

Closed DavidLeoni closed 7 years ago

DavidLeoni commented 7 years ago

We should allow configuration of more options, for example for HTTP timeout and http proxy, see also https://github.com/diversicon-kb/diversicon-core/issues/29

DavidLeoni commented 7 years ago

Implemented (without proper tests for now).