[PATCH 2/5] server: Do not call async_terminate() when restarting an already terminated async.