[server] dockerfile