[Help-gnunet] cannot determine port of gnunetd server

[Benjamin Kay]

I just compiled gnunet from cvs. gnunetd seems to run OK; netstat -l shows 
ports 2086 and 2087 as open. But the gnunet-applications (gnunet-stats, 
gnunet-search, etc.) return the following error:

Dec 11 00:37:58 Cannot determine port of gnunetd server. Define in 
configuration file in section NETWORK under PORT.
Dec 11 00:37:58 __BREAK__ at logging.c:241

I copied contrib/gnunet.root to /etc/gnunet.conf and contrib/gnunet.user to 
~/.gnunet/gnunet.conf, making the appropriate changes. "PORTS" as found under 
the networking section of /etc/gnunet.conf is very clearly set to 2087. 
~/.gnunet/gnunet.conf has no networking section or "PORTS" option.

What gives? Is anyone else having this problem?