Allow overriding polling time from config

[BubuOT]

It would be helpful to have development/staging targets poll hawkbit more often than the server-side defined polling interval (which is set to multiple hours so we save mobile bandwidth).

Our development targets are connected via an ethernet connection though and it would ease the testing workflow if we could tell those to just poll hawkbit every minute instead.

[ejoerns]

Since the config value provided by the DDI is only refered to as the 'suggested sleep time between polls' it also sounds reasonable to me to override this wish if we know better.

[Bastian-Krause]

If this is testing-specific, maybe this should be a command line option rather than a config option?

[BubuOT]

If this is testing-specific, maybe this should be a command line option rather than a config option?

That wouldn't work that well for us as the config file is device-specific (so can be different on test-devices) but the service invocation is defined in the firmware and identical on all our devices.

[Bastian-Krause]

Hm, okay, I think we could also add that to the config.

I am not sure whether this should override the poll time announced by hawkBit or if we should use the lowest value?

[BubuOT]

I am not sure whether this should override the poll time announced by hawkBit or if we should use the lowest value?

Mh, good question. I think using the lowest value probably makes sense. (otherwise devices will be reported as "late" in hawkbit)

[Bastian-Krause]

Makes sense. PR welcome :)