add warning: the function given to establish_server should never terminate

It took me some time to find what was wrong in my code :-)