some helpers for editing the server with itself