From 256bc1b83ebacda4425b97892cd6cf858db34be3 Mon Sep 17 00:00:00 2001
From: Lalitha A R <165548623+lalithaar@users.noreply.github.com>
Date: Tue, 17 Dec 2024 10:25:47 +0530
Subject: [PATCH] Add documentation for configuring custom websocket port in
 NGINX

---
 _docs/sysadmin/installation/index.md | 32 ++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/_docs/sysadmin/installation/index.md b/_docs/sysadmin/installation/index.md
index 26203d87..b8c5c991 100644
--- a/_docs/sysadmin/installation/index.md
+++ b/_docs/sysadmin/installation/index.md
@@ -196,6 +196,38 @@ You can use these [instructions](/sysadmin/installation/ansible).
    cp submitty.cer submitty.pem
    cat chain.cer >> submitty.pem
    ```
+       #### Configure Websocket Port
+
+    Submitty allows you to configure the websocket server to use a custom port. To do this:
+    
+    Open the Submitty configuration file:
+    
+       bash
+       /usr/local/submitty/config/submitty.json```
+    
+     Add or modify the websocket_port field, for example:
+       
+       "websocket_port": 9001
+       ```
+     The websocket server will default to port 8443 if this value is not set.
+       Update the proxy_pass directive in your NGINX configuration 
+       ```(/etc/nginx/sites-available/submitty.conf)``` to match the new port:
+   ```
+   location /ws {
+    proxy_pass http://127.0.0.1:9001; # Updated port here
+    proxy_http_version 1.1;
+    proxy_set_header Upgrade $http_upgrade;
+    proxy_set_header Connection "Upgrade";
+    proxy_set_header Host $host;
+    }
+    ```
+    
+    Restart NGINX for the changes to take effect:
+    
+       ```
+       sudo systemctl restart nginx
+       ```
+
 
 7. We recommend that you should leave the PostgreSQL setup unless you know what
    you're doing. If you are running PostgreSQL on the same server as Submitty,