Capito! Risulta che quando ho provato la seconda risposta fornita in questo post SO, avevo fatto cd /etc/init.d e quindi eseguito redis-server stop , quando in realtà avrei dovuto eseguire /etc/init.d/redis-server stop . Non so perché questo è importante però.
