testing: report different server pid
authorMichael Wallner <mike@php.net>
Tue, 29 Sep 2020 06:32:32 +0000 (08:32 +0200)
committerMichael Wallner <mike@php.net>
Tue, 29 Sep 2020 06:32:32 +0000 (08:32 +0200)
commitfff90287ab3521c9cdc232ea53ec5bc73365c8e4
tree6afc4013c7521282dc491eb7a21b6279116db48a
parent36c2351bfeb343f4d6da922cdee58f4bcdcd7e08
testing: report different server pid
test/lib/Server.cpp