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.
gsmd IOhannes _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
