Lines Matching refs:server_logfilename
64 server_logfilename2947 $logfile = server_logfilename($logdir, $proto, $ipvnum, $idnum);