From 08791138854cdb5c1f131e7f3d496cdff1ccb80b Mon Sep 17 00:00:00 2001
From: Tudor Brindus <me@tbrindus.ca>
Date: Sun, 12 Sep 2021 15:34:38 -0400
Subject: [PATCH] executors: disallow /dev/std{in,err,out}

These files are not POSIX, so runtimes should not be relying on their
presence.
---
 dmoj/executors/mixins.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dmoj/executors/mixins.py b/dmoj/executors/mixins.py
index 76acbd213..7b5d994b4 100644
--- a/dmoj/executors/mixins.py
+++ b/dmoj/executors/mixins.py
@@ -32,7 +32,7 @@
     ExactDir('/'),
 ]
 
-BASE_WRITE_FILESYSTEM = [ExactFile('/dev/stdout'), ExactFile('/dev/stderr'), ExactFile('/dev/null')]
+BASE_WRITE_FILESYSTEM = [ExactFile('/dev/null')]
 
 
 if 'freebsd' in sys.platform: