fix redis server pid file