A very simple REST server