blob: 2cfd7e25e7fbdd4d969a238177dcd54cb3fd7475 (
plain)
1
2
3
4
5
6
7
8
9
10
11
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 ""
|
GitWeb
