Searched refs:roothints (Results 1 – 3 of 3) sorted by relevance
37 roothints=""40 roothints="$1"61 if test -n "$roothints"; then62 echo "server: root-hints: '$roothints'" > $tmp3
12 o (option) retain prime results in a overlaid roothints file.
390 # All other file paths (working dir, logfile, roothints, and