From b7233f40fb7348d687eb1e670f9e41cfcd8f0676 Mon Sep 17 00:00:00 2001
From: antirez <antirez@gmail.com>
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 ff94ae16..11ed4c61 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;