From 42e426b86ac3fa429238a88509d60b7a36803b1d Mon Sep 17 00:00:00 2001
From: prandla <prandla@r9.pm>
Date: Thu, 24 Sep 2026 14:01:32 +0300
Subject: [PATCH] remove /dev/shm sandbox rule

this rule is now included in isolate's default dir rules.
---
 cms/grading/Sandbox.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/cms/grading/Sandbox.py b/cms/grading/Sandbox.py
index c789fadb7e..083250ab0b 100644
--- a/cms/grading/Sandbox.py
+++ b/cms/grading/Sandbox.py
@@ -283,10 +283,6 @@ def __init__(
 
         self.add_mapped_directory(self._home, dest=self._home_dest, options="rw")
 
-        # Create temporary directory on /dev/shm to prevent communication
-        # between sandboxes.
-        self.dirs.append((None, "/dev/shm", "tmp"))
-
         # Set common environment variables.
         # Specifically needed by Python, that searches the home for
         # packages.