Lines Matching refs:serverlogfile
141 const char *serverlogfile = DEFAULT_LOGFILE;1991 serverlogfile = argv[arg++];