chiark / gitweb /
Make dgit-ssh-dispatch not spew (harmless) warnings if caller tries for a shell sessi...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 Jul 2015 17:32:49 +0000 (18:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 18 Jul 2015 17:32:49 +0000 (18:32 +0100)
debian/changelog
infra/dgit-ssh-dispatch

index b5ae326..606a3dd 100644 (file)
@@ -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
 
index ed9a23d..9c023d8 100755 (executable)
@@ -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; };