more 443 defaults

This commit is contained in:
SpikeHD 2022-05-01 16:52:48 -07:00
parent 7d5f0f355e
commit 0f98d90da9
3 changed files with 3 additions and 3 deletions

View File

@ -37,7 +37,7 @@ class MlgmXyysd_Anime_Game_Proxy:
loader.add_option( loader.add_option(
name = "port", name = "port",
typespec = int, typespec = int,
default = 80, default = 443,
help = "Port to replace", help = "Port to replace",
) )

View File

@ -172,7 +172,7 @@ async function setBackgroundImage() {
*/ */
async function handleFavoriteInput() { async function handleFavoriteInput() {
const ip = document.querySelector('#ip').value const ip = document.querySelector('#ip').value
const port = document.querySelector('#port').value const port = document.querySelector('#port').value || '443'
const ipArr = await getFavIps() const ipArr = await getFavIps()
const addr = `${ip}:${port}` const addr = `${ip}:${port}`

View File

@ -88,7 +88,7 @@ async function handleLanguageChange(elm) {
*/ */
async function setFavorite() { async function setFavorite() {
const ip = document.querySelector('#ip').value const ip = document.querySelector('#ip').value
const port = document.querySelector('#port').value const port = document.querySelector('#port').value || '443'
const ipArr = await getFavIps() const ipArr = await getFavIps()
const addr = `${ip}:${port}` const addr = `${ip}:${port}`