diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-04-28 11:02:35 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:07 +0100 |
commit | 8a2c3aa997480f715f703b01be7568038eb82fd8 (patch) | |
tree | 4471a0c6f52a4eb8112400290886dd0752caa580 | |
parent | 30256094a0925d5bd17608c844004fc25fcb3b89 (diff) |
dgit-repos-server: Check that no args follow --ssh
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 67a6fc5..98ec16d 100755 --- 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{ ^ |