From 005f0ddd03a223cc8140d8692c2d4e961b258797 Mon Sep 17 00:00:00 2001
From: evanpelle <openfrontio@gmail.com>
Date: Wed, 14 May 2025 15:47:18 -0700
Subject: [PATCH] have nginx support up to 40 workers

---
 nginx.conf | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)

diff --git a/nginx.conf b/nginx.conf
index e1c3e4e47..25c09b3d3 100644
--- a/nginx.conf
+++ b/nginx.conf
@@ -15,6 +15,32 @@ map $uri $port {
     ~^/w12/   3013;
     ~^/w13/   3014;
     ~^/w14/   3015;
+    ~^/w15/   3016;
+    ~^/w16/   3017;
+    ~^/w17/   3018;
+    ~^/w18/   3019;
+    ~^/w19/   3020;
+    ~^/w20/   3021;
+    ~^/w21/   3022;
+    ~^/w22/   3023;
+    ~^/w23/   3024;
+    ~^/w24/   3025;
+    ~^/w25/   3026;
+    ~^/w26/   3027;
+    ~^/w27/   3028;
+    ~^/w28/   3029;
+    ~^/w29/   3030;
+    ~^/w30/   3031;
+    ~^/w31/   3032;
+    ~^/w32/   3033;
+    ~^/w33/   3034;
+    ~^/w34/   3035;
+    ~^/w35/   3036;
+    ~^/w36/   3037;
+    ~^/w37/   3038;
+    ~^/w38/   3039;
+    ~^/w39/   3040;
+    ~^/w40/   3041;
     default   3000;
 }
 
@@ -235,6 +261,32 @@ server {
         if ($worker = "12") { set $worker_port 3013; }
         if ($worker = "13") { set $worker_port 3014; }
         if ($worker = "14") { set $worker_port 3015; }
+        if ($worker = "15") { set $worker_port 3016; }
+        if ($worker = "16") { set $worker_port 3017; }
+        if ($worker = "17") { set $worker_port 3018; }
+        if ($worker = "18") { set $worker_port 3019; }
+        if ($worker = "19") { set $worker_port 3020; }
+        if ($worker = "20") { set $worker_port 3021; }
+        if ($worker = "21") { set $worker_port 3022; }
+        if ($worker = "22") { set $worker_port 3023; }
+        if ($worker = "23") { set $worker_port 3024; }
+        if ($worker = "24") { set $worker_port 3025; }
+        if ($worker = "25") { set $worker_port 3026; }
+        if ($worker = "26") { set $worker_port 3027; }
+        if ($worker = "27") { set $worker_port 3028; }
+        if ($worker = "28") { set $worker_port 3029; }
+        if ($worker = "29") { set $worker_port 3030; }
+        if ($worker = "30") { set $worker_port 3031; }
+        if ($worker = "31") { set $worker_port 3032; }
+        if ($worker = "32") { set $worker_port 3033; }
+        if ($worker = "33") { set $worker_port 3034; }
+        if ($worker = "34") { set $worker_port 3035; }
+        if ($worker = "35") { set $worker_port 3036; }
+        if ($worker = "36") { set $worker_port 3037; }
+        if ($worker = "37") { set $worker_port 3038; }
+        if ($worker = "38") { set $worker_port 3039; }
+        if ($worker = "39") { set $worker_port 3040; }
+        if ($worker = "40") { set $worker_port 3041; }
         
         proxy_pass http://127.0.0.1:$worker_port$2;
         proxy_http_version 1.1;