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 /infra | |
parent | 71314fb22dac47254619db465f618818afcca3b5 (diff) |
Make dgit-ssh-dispatch not spew (harmless) warnings if caller tries for a shell session (ie SSH_ORIGINAL_COMMAND not set).
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-ssh-dispatch | 2 |
1 files changed, 1 insertions, 1 deletions
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; }; |