diff options
author | antirez <antirez@gmail.com> | 2013-06-25 15:36:48 +0200 |
---|---|---|
committer | antirez <antirez@gmail.com> | 2013-06-25 15:36:48 +0200 |
commit | 73d7955c6f53edf7597303bbdc605c84ba7a5954 (patch) | |
tree | 52fe2b41cfdb0a3ced5471687336b685bbd38f27 /src | |
parent | 882e36366f64ba34d02a95191e54baed6a0ef040 (diff) | |
download | redis-73d7955c6f53edf7597303bbdc605c84ba7a5954.tar.gz |
Flush the replication script cache after SCRIPT FLUSH.
Diffstat (limited to 'src')
-rw-r--r-- | src/scripting.c | 1 |
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; |