diff options
Diffstat (limited to 'www-servers/resin/files/3.0.12/wrapper.pl.diff')
| -rw-r--r-- | www-servers/resin/files/3.0.12/wrapper.pl.diff | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/www-servers/resin/files/3.0.12/wrapper.pl.diff b/www-servers/resin/files/3.0.12/wrapper.pl.diff deleted file mode 100644 index 0bd8702e6a0f..000000000000 --- a/www-servers/resin/files/3.0.12/wrapper.pl.diff +++ /dev/null @@ -1,21 +0,0 @@ ---- bin/wrapper.pl.in 2004-07-30 01:59:20.680348752 +0200 -+++ bin/wrapper.pl.in 2004-07-30 02:04:38.745995424 +0200 -@@ -418,9 +418,6 @@ - $pid=`cat $pid_file`; - chop($pid); - -- if ($cmd eq "stop") { -- print("Stopping ${name}\n"); -- } - kill(15, $pid); - unlink($pid_file); - } -@@ -679,8 +676,6 @@ - $date = `date`; - chop($date); - -- print "Resin $name $cmd at $date\n"; -- - # create a keepalive socket - # when the wrapper dies, the httpd class will detect that and - # close gracefully |