diff options
author | Daniel Stenberg <daniel@haxx.se> | 2011-02-22 13:28:27 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2011-02-22 13:42:00 +0100 |
commit | 2345c1dd661c3f7deb68aaa96d7baac0373be770 (patch) | |
tree | 07d454ee76b8ddc5d1cb7ee6270f919d6ef47130 /lib/.gitignore | |
parent | 7aa2d10e0db82a55eba6b5723307d915939cb2fb (diff) |
runtests.pl/stopserver: space separate pids
The stopserver function would append pids to kill and could append them
without separating them with space properly. The result would be a very
large number that by (some implementations of) kill would be interpreted
as a negative number and that process group would be wiped...
Bug: http://curl.haxx.se/bug/view.cgi?id=3188836
Reported by: Greg Pratt
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions