make sure the ipv6 http server gets its pid stored in a separate file

1 files changed, 6 insertions, 1 deletions

diff --git a/tests/httpserver.pl b/tests/httpserver.pl
index bdd21f9a8..675aed5cf 100755
--- a/tests/httpserver.pl
+++ b/tests/httpserver.pl
@@ -7,6 +7,7 @@ my $verbose=0; # set to 1 for debugging
 my $dir=".";
 my $port = 8999; # just a default
 my $ipv6;
+my $pid=".http.pid"; # name of the pidfile
 do {
     if($ARGV[0] eq "-v") {
         $verbose=1;
@@ -15,6 +16,10 @@ do {
         $dir=$ARGV[1];
         shift @ARGV;
     }
+    elsif($ARGV[0] eq "-p") {
+        $pid=$ARGV[1];
+        shift @ARGV;
+    }
     elsif($ARGV[0] =~ /^(\d+)$/) {
         $port = $1;
     }
@@ -23,4 +28,4 @@ do {
     }
 } while(shift @ARGV);
 
-exec("server/sws $ipv6$port $dir");
+exec("server/sws --pidfile $pid $ipv6$port $dir");