diff options
Diffstat (limited to 'rtr-origin')
| -rwxr-xr-x | rtr-origin/server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtr-origin/server.sh b/rtr-origin/server.sh index f8e56bbd..a91aa925 100755 --- a/rtr-origin/server.sh +++ b/rtr-origin/server.sh @@ -14,4 +14,4 @@ cd /u/sra/rpki/subvert-rpki.hactrn.net/rtr-origin -exec /usr/local/bin/python rtr-origin.py server 2>> /u/sra/rpki/subvert-rpki.hactrn.net/rtr-origin/server.log +exec /usr/local/bin/python rtr-origin.py --server 2>> /u/sra/rpki/subvert-rpki.hactrn.net/rtr-origin/server.log |