Gmscore: Ping intervals

[ghost]

We should be able to manually set the ping intervals instead of just having preset choices.

[mar-v-in]

Which ping interval would you like to use? More options increase complexity and could cause users to misconfigure.

[ghost]

~10-15 seconds.
But I'd like to be able to input it as a custom ping intervalt.

[mar-v-in]

With such short intervals you are going to drain your battery pretty fast. If your WiFi or mobile network does not suck as hell, about 30 minutes is the best value.

[ghost]

my phone takes 48 h to die, it should be fine.

[mar-v-in]

Well, if you change to 10s ping, you'll probably end up with less than 12h even if you start from 48h (the system won't be able to go into deep sleep anymore)

Also I guess there is some misconception on what this ping interval is used for. There is little use of a ping interval that low. The ping interval is only relevant to detect if a connection is timed out and to prevent timeout. I doubt there is any network that will kill TCP connections after there was no data sent for 10s and if there is, you're probably better off with not using that network.

The only real requirement for this ping interval is that it is below ~37 minutes, as this is the timeout the Google server uses to close the connection. In my experience this timeout will work fine in pretty much every network. But just to be sure, the default in microG "Automatic" will find out if the ping interval should be less for microG to operate correctly.

Thus I am rather at the point to consider removing this option from the UI entirely instead of making it even more complex and misconfigurable as you suggested...

[n76]

Sounds like and option to adjust the ping interval is not required and all that a user could do would be to make things worse with it. I am in favor of removing easily misunderstood options that easily make things worse if set wrong. Especially in this case since the "automatic" option should cover all cases.

[ghost]

I meant this...