DodoApp: Remove unused dev.ports

Change-Id: Id5a1ab55862bd4075064cded76eca590c35f5899
diff --git a/core/installer/app_configs/dodo_app.cue b/core/installer/app_configs/dodo_app.cue
index 794f0fd..89c5944 100644
--- a/core/installer/app_configs/dodo_app.cue
+++ b/core/installer/app_configs/dodo_app.cue
@@ -152,7 +152,6 @@
 	enabled: true
 	mode:    "PROXY"
 	address: string
-	ports: [...#PortMapping]
 	vpn: {enabled: false} | {
 		enabled:  true
 		username: string
@@ -974,7 +973,10 @@
 
 	_nginxCfg: #NginxProxyConfig & {
 		address: svc.dev.address
-		ports:   svc.dev.ports
+		ports: [for p in svc.ports {
+			src: p.value
+			dst: p.value
+		}]
 	}
 
 	helm: {
diff --git a/core/installer/dodo_app_test.go b/core/installer/dodo_app_test.go
index 73f7025..b12384f 100644
--- a/core/installer/dodo_app_test.go
+++ b/core/installer/dodo_app_test.go
@@ -591,13 +591,7 @@
 				"enabled": true,
 				"mode": "PROXY",
 				"vpn": { "enabled": true, "username": "gio" },
-				"address": "65.108.39.172",
-				"ports": [
-					{
-						"src": 8081,
-						"dst": 80
-					}
-				]
+				"address": "65.108.39.172"
 			}
 		}
 	],