fix time_server solution to listen on correct port of 8000

I noticed that the time_server solution was using 8001 instead of 8000. Here is the fix :)