Type-cast the Pipeline object in JedisSentineled (#3517)

This is an expansion of #3221, as well as #3240. This is requested in #3516.
redis · Aug 31, 2023 · 58c375e · 58c375e
1 parent c920bb3
commit 58c375e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/java/redis/clients/jedis/JedisSentineled.java b/src/main/java/redis/clients/jedis/JedisSentineled.java
@@ -24,4 +24,9 @@ public JedisSentineled(SentineledConnectionProvider sentineledConnectionProvider
   public HostAndPort getCurrentMaster() {
     return ((SentineledConnectionProvider) provider).getCurrentMaster();
   }
+
+  @Override
+  public Pipeline pipelined() {
+    return (Pipeline) super.pipelined();
+  }
 }