summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jonas Gunz <himself@jonasgunz.de> 2020-10-08 02:44:11 +0200
committerGravatar Jonas Gunz <himself@jonasgunz.de> 2020-10-08 02:44:11 +0200
commit4541bf611508565610a99f8036b3d49009a52518 (patch)
tree59bd4c53cf47fd658de8713fc41a3b4dca3a2718
parentd293b34578bcf856885ed30774d88e42f406aed5 (diff)
downloadminecraft-isekai-4541bf611508565610a99f8036b3d49009a52518.tar.gz
runner unused function
-rwxr-xr-xrunner.sh6
1 files changed, 0 insertions, 6 deletions
diff --git a/runner.sh b/runner.sh
index e651c5d..8479159 100755
--- a/runner.sh
+++ b/runner.sh
@@ -71,12 +71,6 @@ function fail() {
exit 1
}
-function stdin_redirector(){
- while [ -p stdin ]; do
- cat stdin
- done
-}
-
[ -e settings.sh ] && source settings.sh \
|| >&2 echo "WARNING: settings.sh not found."
# settings.sh