mirror of
https://github.com/curl/curl.git
synced 2026-05-13 22:56:19 +03:00
checkserver() bugged, Kevin Roth detected and fixed
This commit is contained in:
parent
59a76e4010
commit
71bf8a6985
1 changed files with 1 additions and 1 deletions
|
|
@ -114,7 +114,7 @@ sub checkserver {
|
|||
|
||||
# check for pidfile
|
||||
if ( -f $pidfile ) {
|
||||
my $PID=serverpid($pidfile);
|
||||
$PID=serverpid($pidfile);
|
||||
if ($PID ne "" && kill(0, $PID)) {
|
||||
$RUNNING=1;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue