From 9f4fbe2499056c16d2a228691acc2a043ba8455d Mon Sep 17 00:00:00 2001
From: Nikolay Puzanov <np@embddr.com>
Date: Thu, 1 Dec 2022 22:04:50 +0300
Subject: [PATCH] Rename file

---
 _web_server/server/firejailed.sh  |  9 ---------
 _web_server/server/iverilog       |  2 +-
 _web_server/server/run-restricted | 14 ++++++++++++++
 _web_server/server/vvp            |  2 +-
 4 files changed, 16 insertions(+), 11 deletions(-)
 delete mode 100755 _web_server/server/firejailed.sh
 create mode 100755 _web_server/server/run-restricted

diff --git a/_web_server/server/firejailed.sh b/_web_server/server/firejailed.sh
deleted file mode 100755
index 0ad4b44..0000000
--- a/_web_server/server/firejailed.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-exe=$(basename $0)
-
-exec firejail --noprofile --quiet \
-     --rlimit-cpu=1               \
-     --rlimit-as=100m             \
-     --rlimit-fsize=1m            \
-     "$exe" "$@"
diff --git a/_web_server/server/iverilog b/_web_server/server/iverilog
index bbad33e..7d894b5 120000
--- a/_web_server/server/iverilog
+++ b/_web_server/server/iverilog
@@ -1 +1 @@
-./firejailed.sh
\ No newline at end of file
+run-restricted
\ No newline at end of file
diff --git a/_web_server/server/run-restricted b/_web_server/server/run-restricted
new file mode 100755
index 0000000..e3c7fdf
--- /dev/null
+++ b/_web_server/server/run-restricted
@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+exe=$(basename $0)
+
+if [ -z "$DONOTUSEFIREJAIL" ]; then
+    exec firejail              \
+         --quiet --noprofile   \
+         --rlimit-cpu=5        \
+         --rlimit-as=250m      \
+         --rlimit-fsize=250k   \
+         "$exe" "$@"
+else
+    exec timeout -v -s INT 5 "$exe" "$@"
+fi
diff --git a/_web_server/server/vvp b/_web_server/server/vvp
index bbad33e..7d894b5 120000
--- a/_web_server/server/vvp
+++ b/_web_server/server/vvp
@@ -1 +1 @@
-./firejailed.sh
\ No newline at end of file
+run-restricted
\ No newline at end of file