web port change from 8080 to 8000

suggested by @jburel