summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-18 18:32:49 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-18 18:32:49 +0100
commit5a453a69bd237e3921a6db60f675bdaefb741014 (patch)
treed6ab48fefb28b41e23055deaad1c0fa03a22aee3 /infra
parent71314fb22dac47254619db465f618818afcca3b5 (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-xinfra/dgit-ssh-dispatch2
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; };