diff options
Diffstat (limited to 'app-admin/usermin/files/usermin-1.080-safestop.patch')
| -rw-r--r-- | app-admin/usermin/files/usermin-1.080-safestop.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/app-admin/usermin/files/usermin-1.080-safestop.patch b/app-admin/usermin/files/usermin-1.080-safestop.patch new file mode 100644 index 000000000000..2cfd7e25e7fb --- /dev/null +++ b/app-admin/usermin/files/usermin-1.080-safestop.patch @@ -0,0 +1,12 @@ +diff -Naur usermin-1.080.orig/setup.sh usermin-1.080/setup.sh +--- usermin-1.080.orig/setup.sh 2004-06-03 16:18:07.000000000 -0700 ++++ usermin-1.080/setup.sh 2004-07-26 01:27:23.959104711 -0700 +@@ -487,7 +487,7 @@ + echo "#!/bin/sh" >>$config_dir/stop + echo "echo Stopping Usermin server in $wadir" >>$config_dir/stop + echo "pidfile=\`grep \"^pidfile=\" $config_dir/miniserv.conf | sed -e 's/pidfile=//g'\`" >>$config_dir/stop +-echo "kill \`cat \$pidfile\`" >>$config_dir/stop ++echo "test -z \"\$pidfile\" || kill \`cat \$pidfile\`" >>$config_dir/stop + chmod 755 $config_dir/start $config_dir/stop + echo "..done" + echo "" |