sslab-gatech / DIE

Fuzzing JavaScript Engines with Aspect-preserving Mutation
MIT License
220 stars 39 forks source link

Redis Server initial setup #24

Open arvindk459895 opened 1 year ago

arvindk459895 commented 1 year ago

What should be the redis server id ?

!/usr/bin/env python3

import os import subprocess

export REDIS_URL=redis://localhost:9000

p = subprocess.Popen(["tmux", "ls"], stdout=subprocess.PIPE) out, err = p.communicate() if "ssh-tunneling" in out.decode("utf-8"): print("ssh-tunneling already exists") exit()

print("This script makes ssh-tunneling between your redis-server and this machine.")

server = input("redis-server URL : ") login = input("redis-server ID : ")

os.system("tmux new-session -s ssh-tunneling -d 'ssh -L 9000:localhost:6379 " + login + "@" + server + "'")