devpi-server 0.8.1: better devpi-ctl behaviour / fixed --gendeploy quirk

[holger krekel]

Hi again,

just 12 hours after 0.8, i released devpi-server-0.8.1, a slightly
improved version of the fast pypi caching proxy server.  In particular
after "devpi-ctl" now works more according to docs.  In particular after a:

    devpi-ctl shutdown
   
You won't accidentally start the servers again with:

    devpi-ctl help|status|...

which is what 0.8 did (doh!).

Also, --gendeploy now takes more care to create a supervisord.conf
which starts the devpi-server binary installed into the venv.

Keep up the issue reporting! :)

See http://pypi.python.org/pypi/devpi-server for more ...

cheers,
holger