summaryrefslogtreecommitdiff
path: root/src/scripting.c
diff options
context:
space:
mode:
authorantirez <antirez@gmail.com>2013-06-25 15:36:48 +0200
committerantirez <antirez@gmail.com>2013-06-25 15:36:48 +0200
commit73d7955c6f53edf7597303bbdc605c84ba7a5954 (patch)
tree52fe2b41cfdb0a3ced5471687336b685bbd38f27 /src/scripting.c
parent882e36366f64ba34d02a95191e54baed6a0ef040 (diff)
downloadredis-73d7955c6f53edf7597303bbdc605c84ba7a5954.tar.gz
Flush the replication script cache after SCRIPT FLUSH.
Diffstat (limited to 'src/scripting.c')
-rw-r--r--src/scripting.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripting.c b/src/scripting.c
index a794f34ff..baf585279 100644
--- a/src/scripting.c
+++ b/src/scripting.c
@@ -1020,6 +1020,7 @@ void scriptCommand(redisClient *c) {
if (c->argc == 2 && !strcasecmp(c->argv[1]->ptr,"flush")) {
scriptingReset();
addReply(c,shared.ok);
+ replicationScriptCacheFlush();
server.dirty++; /* Propagating this command is a good idea. */
} else if (c->argc >= 2 && !strcasecmp(c->argv[1]->ptr,"exists")) {
int j;