On Thu, 2012-02-16 at 13:53 +0100, IOhannes m zmölnig wrote: > On 02/15/12 23:19, Jack wrote: > > OK, so if my server quit or crash, I have to wait few minutes (maybe > > only one) before to relaunch it. > > I was hoping it was faster. > > you can also launch the server and keep setting the port to the desired > one (using [port 12345( ) until it reports that it is indeed using that > port.
Ah, I didn't know about that. If I am not mistaken, this part is missing in the help-file. I'll add it. As a work-around, I used to use some bash script to make sure the specified port is free before launching Pd. However, an in-patch solution is _much_ nicer. Cool! Roman _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
