Add config file for server settings

[rpappalax]

Currently the push update server URL is set in the catfacts.db > customers database
There is only 1 entry:

push = https://updates.push.services.mozilla.com/push/gAAAAABV0hv-H_ppnjUlzzoa8_LP6bIs6WSuPASVWxfVe4vYnivxp1d6o3UvH5srny24N1t7_HZSQ2HpxIua9xzx2gbjTKLam-fy4j2Ut9yMziTxCLAe8_SElsDo8CBQ6lreLVRYbcBPo6WIdup5MgKzO-kbzq5MLALa0JVymoRMpmW3adxvsb4=

Would like to be able to configure the server to point either at production or staging server:
autopush
Production: https://updates.push.services.mozilla.com
Staging: https://updates-autopush.stage.mozaws.net

Thanks!

[jrconlin]

I think I misunderstood your question. CatFacts doesn't set the Push server, the device does. What happens is that the client app calls the native navigator.push.register() function which returns an endpoint that points to whatever server the device is pointed at. That push endpoint is then sent by the client to the CatFacts server, which just sends facts to that endpoint.

If your device is already set to use Stage or Dev, then Catfacts should use it.

In short, CatFacts doesn't care what you use to Push.

[rpappalax]

OK, even better. So if I want to point my client to the stage server (using WebIDE), I assume I can re-set dom.push.ServerURL=wss://push.services.mozilla.com/
to
dom.push.ServerURL=wss://push.stage.mozaws.net/ ?

[jrconlin]

Yep. that should do it.