mobile/element-android
mobile/element-android
1
0
Fork 0
mirror of https://github.com/element-hq/element-android synced 2024-07-22 18:44:17 +00:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Allow custom push gateway to use non-default port (#8376)

Browse source
This commit is contained in:
jonnyandrew 2023-05-02 10:05:15 +00:00 committed by GitHub
parent 3c2c6ef136
commit e37fe1f8f5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
changelog.d/8376.bugfix Normal file
View file

@ -0,0 +1 @@
Allow custom push gateway to use non-default port

3
vector/src/main/java/im/vector/app/core/pushers/UnifiedPushHelper.kt
View file

@ -104,7 +104,8 @@ class UnifiedPushHelper @Inject constructor(
// else, unifiedpush, and pushkey is an endpoint
val gateway = stringProvider.getString(R.string.default_push_gateway_http_url)
val parsed = URL(endpoint)
val custom = "${parsed.protocol}://${parsed.host}/_matrix/push/v1/notify"
val port = if (parsed.port != -1) { ":${parsed.port}" } else { "" }
val custom = "${parsed.protocol}://${parsed.host}${port}/_matrix/push/v1/notify"
Timber.i("Testing $custom")
try {
val response = matrix.rawService().getUrl(custom, CacheStrategy.NoCache)