The default port 4713 conflicts with jboss. I&#39;d prefer to change pulseaudio than jboss to resolve this conflict. I haven&#39;t been able to locate documentation on how to do this. How do I change the port pulseaudio listens on?<div>
<br></div><div>Brian</div>