pkgs/tools/filesystems/davfs2/0001-umount_davfs-substitute-ps-command.patch

   1 From 0cb1321c4cbb2978318ddad73c9ee6f2a19c55c8 Mon Sep 17 00:00:00 2001
   2 From: Florian Klink <flokli@flokli.de>
   3 Date: Sat, 11 Jan 2020 21:06:33 +0100
   4 Subject: [PATCH] umount_davfs: substitute ps command
   5
   6 ---
   7  src/umount_davfs.c | 2 +-
   8  1 file changed, 1 insertion(+), 1 deletion(-)
   9
  10 diff --git a/src/umount_davfs.c b/src/umount_davfs.c
  11 index b7019c3..a278679 100644
  12 --- a/src/umount_davfs.c
  13 +++ b/src/umount_davfs.c
  14 @@ -157,7 +157,7 @@ main(int argc, char *argv[])
  15      }
  16      fclose(file);
  17
  18 -    char *ps_command = ne_concat("ps -p ", pid, NULL);
  19 +    char *ps_command = ne_concat("@ps@ -p ", pid, NULL);
  20      FILE *ps_in = popen(ps_command, "r");
  21      if (!ps_in) {
  22          error(0, 0,
  23 --
  24 2.24.1
  25