[server] Add source files I forgot to add in the previous commit.