server: fix documentation of dev parameter. Fix for #87.
Merge pull request #88 from gnubila-france/fix_documentation_dev_parameter

server: fix documentation of dev parameter. Fix for #87.