Fix mansrht-keys shell name

1 files changed, 1 insertions, 1 deletions

diff --git a/mansrht-keys b/mansrht-keys
index 50bf316..398e07f 100755
--- a/mansrht-keys
+++ b/mansrht-keys
@@ -23,7 +23,7 @@ u = User.query.filter(User.username == username).first()
 if not u:
     sys.stderr.write("Unknown user {}\n", username)
     sys.exit(1)
-shell = os.path.join(os.path.dirname(sys.argv[0]), "man-srht-shell")
+shell = os.path.join(os.path.dirname(sys.argv[0]), "mansrht-shell")
 keys = "command=\"{} '{}' '{}'\",".format(shell, u.id, b64key) + \
     "no-port-forwarding,no-X11-forwarding,no-agent-forwarding,no-pty " + \
     "{} {} {}".format(key_type, b64key, username) + "\n"