| Subject: | server_pid is not changed |
well, try
$ctl->start;
$ctl->stop;
$ctl->start;
$ctl->stop;
in the last ->start, the server_pid should be changed I think.
if it's not changed, the last ->stop wouldn't do as what u want.
it's not tested, just look into the code and find the problem.
Thanks.