Don't return from server() as we can't guarentee that everything is cleaned up.