projects
/
platform
/
upstream
/
curl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
70b1cd7
)
Andy Tsouladze's fix to kill the knowledge of servers properly after they have
author
Daniel Stenberg
<daniel@haxx.se>
Sat, 23 Aug 2008 11:25:14 +0000
(11:25 +0000)
committer
Daniel Stenberg
<daniel@haxx.se>
Sat, 23 Aug 2008 11:25:14 +0000
(11:25 +0000)
been killed.
tests/runtests.pl
patch
|
blob
|
history
diff --git
a/tests/runtests.pl
b/tests/runtests.pl
index
169a347
..
79d85e6
100755
(executable)
--- a/
tests/runtests.pl
+++ b/
tests/runtests.pl
@@
-2490,6
+2490,7
@@
sub stopservers {
}
$prev = $pid;
}
+ delete $run{$server};
}
ftpkillslaves($verbose);
}