chiark / gitweb /
playrtp now gets port from server if no args