Use stop_server in example