Changes
If the push service is not started and the user changes the setting value from '''false''' to → '''true''', the push service will be '''started''';
If the push service is already started and the user changes the setting value from '''true''' to → '''false''', the push service will be '''stopped'''.
{{Hint|Users will still have the possibility to start/stop the push service by changing the '''ActivatePushService''' setting, even after already being logged in.}}
