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 /infra | |
| parent | 30256094a0925d5bd17608c844004fc25fcb3b89 (diff) | |
dgit-repos-server: Check that no args follow --ssh
Diffstat (limited to 'infra')
| -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{ ^ |