implemented a workaround for Redis PSUBSCRIBE. Closes #1202