Skip to main content

RELEASE_LEASE_SCRIPT

Constant RELEASE_LEASE_SCRIPT 

Source
const RELEASE_LEASE_SCRIPT: &str = r#"
if redis.call('GET', KEYS[1]) == ARGV[1] then
  return redis.call('DEL', KEYS[1])
else
  return 0
end"#;