Home | History | Annotate | Download | only in tests

Lines Matching refs:server_pidfilename

63     server_pidfilename
2947     $pidfile = "$path/". server_pidfilename($proto, $ipvnum, $idnum);