diff options
Diffstat (limited to 'rp/rpki-rtr/server.sh')
-rwxr-xr-x | rp/rpki-rtr/server.sh | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/rp/rpki-rtr/server.sh b/rp/rpki-rtr/server.sh index 7ccf2f38..31b0bf68 100755 --- a/rp/rpki-rtr/server.sh +++ b/rp/rpki-rtr/server.sh @@ -1,17 +1,14 @@ #!/bin/sh - # -# Wrapper for rtr-origin.py in server mode, for testing. +# Wrapper for rpki-rtr server, for testing. # -# In production we would probably want to handle all of this either -# directly in the Python code or in the command= setting for a -# particular ssh key, but for initial testing it's simpler to run a -# shall script to change to the right directory and supply any -# necessary command line arguments. +# In production we would probably want to handle all of this directly +# in the command= setting for a particular ssh key, but for testing +# it's often simpler to run a shall script to debug what arguments +# and extra commands you might need. # # Be warned that almost any error here will cause the subsystem to # fail mysteriously, leaving behind naught but a SIGCHILD log message # from sshd as this script dies. -cd /u/sra/rpki/subvert-rpki.hactrn.net/rtr-origin - -exec /usr/local/bin/python rtr-origin.py --server +exec /usr/local/bin/rpki-rtr server /var/rcynic/rpki-rtr |