fix: codespaces needs https port as base

[rfay]

The Issue

• Codespaces: Drupal redirects at unusual places #6102

The URL provided for codespaces doesn't seem to work right, see https://discord.com/channels/664580571770388500/1229209241714163802/1229209241714163802

How This PR Solves The Issue

Use the https port for codespaces

Manual Testing Instructions

Automated Testing Overview

Related Issue Link(s)

Release/Deployment Notes

[github-actions]

Download the artifacts for this pull request:

• all-ddev-executables.zip
• ddev-linux-amd64.zip
• ddev-linux-arm64.zip
• ddev-macos-amd64.zip
• ddev-macos-arm64.zip
• ddev-windows-amd64-installer.zip

See Testing a PR.

[stasadev]

I should note:

If we decide to change the port here, we will also need to change $DDEV_HOST_WEBSERVER_PORT to $DDEV_HOST_HTTPS_PORT in ddev launch (and change the Gitpod port, because it uses the same FULLURL):

ddev/pkg/ddevapp/global_dotddev_assets/commands/host/launch

Lines 29 to 32 in 0806ba7

	-m|--mailpit|--mailhog)
	if [[ ! -z "${GITPOD_INSTANCE_ID}" ]] || [[ "${CODESPACES}" == "true" ]]; then
	FULLURL="${FULLURL/-${DDEV_HOST_WEBSERVER_PORT}/-${DDEV_HOST_MAILPIT_PORT}}"
	else

[rfay]

AFAICT, this is the only way known to fix the problem with drupal10, and it does work.

[stasadev]

If it works with drupal10, that's good. But it needs more changes, as I mentioned in my previous comment, because changing the port breaks ddev launch -m, ddev mailpit:

DDEV_DEBUG=true ddev mailpit
FULLURL https://solid-guide-jr4pvqvxxgqf56rj-8443.app.github.dev

The port in the URL is not replaced from 8443 to 8027.