Oppia_server_domain

Development
1

Hi @alex
I have noticed a new default value added to the .properties file - OPPIA_SERVER_DOMAIN.
I uploaded a new update to the playstore but I did not set that value. Are there any implications?

2

Hi @hakimks - the only implication will be on launching Oppia from other apps. the domain can be configured in the properties so we can use wildcard mathcing for the domains that can be used for this.

So, eg, instead of having to put cha.oppia-mobile.org and staging.cha.oppia-mobile.org (and any other domains) into the manifest, we can just use *.cha.oppia-mobile.org

Cheers,
Alex

1 Like