Fix a formatting problem in --build-products-dir= doc.

[dgit.git] / infra / dgit-ssh-dispatch

diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch
index ed9a23d5685079b61cfff82bc1044ea9cd245bab..9c023d80859fecd63cbc6ca64dfc925818bfc473 100755 (executable)
--- 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; };