diff --git a/src/scripting.c b/src/scripting.c index ff94ae165c12378228c3dc418c1e06915cbb4583..11ed4c616ece580c3c2df1bdb431c3a4ed48b794 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;