diff options
Diffstat (limited to 'infra/dgit-repos-server')
-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{ ^ |