From 9cdd9adbc6e00e20c4e0c5ef9e830ff837c7cd9d Mon Sep 17 00:00:00 2001
From: Henrik Levkowetz <henrik@levkowetz.com>
Date: Fri, 24 Jul 2020 13:27:53 +0000
Subject: [PATCH] Fixed a problem with writing to /dev/stderr in some
 environments, in docker/updatedb.  - Legacy-Id: 18251

---
 docker/updatedb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/updatedb b/docker/updatedb
index 7011658e7..595f3f73d 100755
--- a/docker/updatedb
+++ b/docker/updatedb
@@ -154,5 +154,5 @@ if [ "$DROP" ]; then
     diff <(zcat $DATADIR/ietf_utf8.sql.gz | grep '^DROP TABLE IF EXISTS' | tr -d '`;' | awk '{ print $5 }') \
          <($parent/ietf/manage.py dbshell <<< 'show tables;' | tail -n +2) \
 	   | grep '^>' | awk '{print "drop table if exists", $2, ";";}' \
-           | tee /dev/stderr | $parent/ietf/manage.py dbshell
+           | tee >(cat >&2) | $parent/ietf/manage.py dbshell
 fi
\ No newline at end of file