test-config-case: print only the Section we're interested in.
This allows us to add additional settings to the global hgrc file
created by run-tests.py without breaking this test.
#!/bin/sh
hg init test
cd test
echo % Without -v
hg serve -a localhost -p 20063 -d --pid-file=hg.pid
cat hg.pid >> "$DAEMON_PIDS"
echo % With -v
hg serve -a localhost -p 20064 -d --pid-file=hg.pid -v
cat hg.pid >> "$DAEMON_PIDS"