server port changed from 8080 to 8142