Made config.js more robust by casting port number to integer