naming in server main.