Andy Tsouladze's fix to kill the knowledge of servers properly after they have

been killed.

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 169a347e1a7b89e4fe31ce57e40ee27bbf25306d..79d85e674c161569fc4131a0e0577c6a3b3cc69f 100755 (executable)
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -2490,6 +2490,7 @@ sub stopservers {
             }
             $prev = $pid;
         }
+        delete $run{$server};
     }
     ftpkillslaves($verbose);
 }