From e27b13606927b28437cea8be625624335a38f05b Mon Sep 17 00:00:00 2001 From: antirez Date: Tue, 25 Jun 2013 10:56:59 +0200 Subject: [PATCH] SCRIPT FLUSH comment minor pedantic improvement. --- src/scripting.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripting.c b/src/scripting.c index ff94ae165..11ed4c616 100644 --- a/src/scripting.c +++ b/src/scripting.c @@ -1020,7 +1020,7 @@ void scriptCommand(redisClient *c) { if (c->argc == 2 && !strcasecmp(c->argv[1]->ptr,"flush")) { scriptingReset(); addReply(c,shared.ok); - server.dirty++; /* Replicating this command is a good idea. */ + server.dirty++; /* Propagating this command is a good idea. */ } else if (c->argc >= 2 && !strcasecmp(c->argv[1]->ptr,"exists")) { int j; -- GitLab