Increase number of file descriptors available to the playground

With the WebSocket functionality, we now have a number of latent connections hanging out.
rust-lang · Sep 8, 2023 · 8c9ae5f · 8c9ae5f
1 parent 505f4f9
commit 8c9ae5f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/ansible/playbooks/playground.yml b/ansible/playbooks/playground.yml
@@ -20,6 +20,7 @@
         - "{{ vars_playground_domain }}"
 
     - role: nginx
+      worker_connections: "{{ vars_playground_number_connections }}"
       proxied:
         - domain: "{{ vars_playground_domain }}"
           to: "http://127.0.0.1:{{ vars_playground_env_ui_port }}"

diff --git a/ansible/roles/playground/defaults/main.yml b/ansible/roles/playground/defaults/main.yml
@@ -19,3 +19,8 @@ vars_playground_env_cors_enabled: 1
 vars_playground_env_ui_address: 127.0.0.1
 vars_playground_env_ui_port: 8080
 vars_playground_env_ui_root_path: "{{ vars_playground_artifacts_path }}/build"
+
+# The playground peaks at a bit less than 2000 open file descriptors
+# over a normal week but `2560` resulted in sporadic errors, so there
+# must be many non-WebSocket connections.
+vars_playground_number_connections: 5120
diff --git a/ansible/roles/playground/templates/playground.service b/ansible/roles/playground/templates/playground.service
@@ -19,5 +19,7 @@ WorkingDirectory={{ vars_playground_artifacts_path }}
 
 ExecStart={{ vars_playground_executable_path }}
 
+LimitNOFILE={{ vars_playground_number_connections }}
+
 [Install]
 WantedBy=multi-user.target