From 9f0461da7d949ce2467fbcbdfdd8603aad2acf33 Mon Sep 17 00:00:00 2001
From: Thomas <51749973+Thovi98@users.noreply.github.com>
Date: Wed, 6 Dec 2023 18:11:13 +0100
Subject: [PATCH] Fix port missing

---
 conf/settings.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/conf/settings.js b/conf/settings.js
index 988521c..88b4ad6 100644
--- a/conf/settings.js
+++ b/conf/settings.js
@@ -52,6 +52,8 @@ const settings = {
 
   brandPrefix: '',
 
+  port: __PORT__,
+    
   allowAnonymousReadAndWriteSharing:
     process.env.SHARELATEX_ALLOW_ANONYMOUS_READ_AND_WRITE_SHARING === 'true',
 
@@ -533,4 +535,4 @@ http.globalAgent.maxSockets = 300
 const https = require('https')
 https.globalAgent.maxSockets = 300
 
-module.exports = settings
\ No newline at end of file
+module.exports = settings