Stub code for REST server