server: manage configurations; fixes #9