Ok, doch nur für HTC... Dann eben über die Registry. Du erstellst beide Einträge (PortalUrlProd und PortalUrlIn) als value. Der Inhalt bleibt leer. Damit kannst du problemlos auf nodo updaten.
Edit:
HIER ist es übrigens nochmal übersichtlich zusammengefasst.