Check for named servers when looking them up by nickname;
tree166d3b8fc6374a5d7c8bb2b5de2d4376dd1d51cc
-rw-r--r-- 270 .cvsignore
-rw-r--r-- 931 AUTHORS
-rw-r--r-- 89097 ChangeLog
-rw-r--r-- 39464 Doxyfile
-rw-r--r-- 2900 INSTALL
-rw-r--r-- 4769 LICENSE
-rw-r--r-- 1786 Makefile.am
-rw-r--r-- 1657 README
drwxr-xr-x - Win32Build
-rwxr-xr-x 159 autogen.sh
-rw-r--r-- 18580 configure.in
drwxr-xr-x - contrib
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - src
-rw-r--r-- 8801 tor.spec.in