dgit-repos-server: Check that no args follow --ssh

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 67a6fc5118348cbb82f865248ecdd37a9866af95..98ec16d9b4e382540ffd6ec59a07f307be5d5446 100755 (executable)
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -798,6 +798,8 @@ our @hookenvs = qw(distro suitesfile policyhook keyrings dgitrepos);
 # workrepo and destrepo handled ad-hoc
 
 sub mode_ssh () {
+    die if @ARGV;
+
     my $cmd = $ENV{'SSH_ORIGINAL_COMMAND'};
     $cmd =~ m{
        ^