web port change from 8000 to 8080

suggested by @jburel