Add 'kes' server and change 'wopr' port number