diff options
-rw-r--r-- | patches/screen-4.9.0.local.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/patches/screen-4.9.0.local.patch b/patches/screen-4.9.0.local.patch new file mode 100644 index 00000000..d44d343c --- /dev/null +++ b/patches/screen-4.9.0.local.patch @@ -0,0 +1,15 @@ +diff -ru screen-4.9.0.orig/screen.c screen-4.9.0/screen.c +--- screen-4.9.0.orig/screen.c 2022-01-28 15:06:02.694612196 +0100 ++++ screen-4.9.0/screen.c 2022-12-27 13:12:29.464261795 +0100 +@@ -1145,9 +1145,11 @@ + /* if SOCKDIR is not defined, the socket is in $HOME. + in that case it does not make sense to compare uids. */ + ++#ifndef __midipix__ + if ((int)st.st_uid != real_uid) + Panic(0, "You are not the owner of %s.", SockPath); + #endif ++#endif + } + + if ((st.st_mode & 0777) != 0700) |