more 443 defaults

Grasscutters · May 1, 2022 · 0f98d90 · 0f98d90
1 parent 7d5f0f3
commit 0f98d90
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/proxy/proxy.py b/proxy/proxy.py
@@ -37,7 +37,7 @@ def load(self, loader):
         loader.add_option(
             name = "port",
             typespec = int,
-            default = 80,
+            default = 443,
             help = "Port to replace",
         )
 

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

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