Fixed mismatched port in http file server solution

The problem requires the file server to listen on port 8000 but the listed solution is listening on 8001.