diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-18 18:32:49 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-18 18:32:49 +0100 |
commit | 5a453a69bd237e3921a6db60f675bdaefb741014 (patch) | |
tree | d6ab48fefb28b41e23055deaad1c0fa03a22aee3 | |
parent | 71314fb22dac47254619db465f618818afcca3b5 (diff) |
Make dgit-ssh-dispatch not spew (harmless) warnings if caller tries for a shell session (ie SSH_ORIGINAL_COMMAND not set).
-rw-r--r-- | debian/changelog | 4 | ||||
-rwxr-xr-x | infra/dgit-ssh-dispatch | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index b5ae326..606a3dd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,8 +6,10 @@ dgit (0.31~~) unstable; urgency=low Infrastructure: * Provide for mirroring git updates to a different server. * Provide cgit-regen-config command for cgi-grnet-01. + * Make dgit-ssh-dispatch not spew (harmless) warnings if caller + tries for a shell session (ie SSH_ORIGINAL_COMMAND not set). - -- Ian Jackson <ijackson@chiark.greenend.org.uk> Sat, 11 Jul 2015 14:30:19 +0100 + -- dgit (0.30) unstable; urgency=high diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch index ed9a23d..9c023d8 100755 --- a/infra/dgit-ssh-dispatch +++ b/infra/dgit-ssh-dispatch @@ -119,7 +119,7 @@ sub serve_up ($) { } sub dispatch () { - local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'}; + local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'} // ''; if (m#^: dgit ($lre) git-check ($lre) ;#) { selectpackage $1,$2, sub { prl "divert @_"; finish; }; |