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