mirror of
https://github.com/redis/redis.git
synced 2026-04-21 03:01:35 -04:00
* On `kill_server` make sure we close the default `"client"` connection. * Don't reconnect when trying to execute the client's `close` command. * On `restart_server` make sure to remove the (closed) default `"client"` after killing the old server.