chiark / gitweb /
Tag change: Rename debiantag to debiantag_old
[dgit.git] / infra / dgit-ssh-dispatch
index ed9a23d5685079b61cfff82bc1044ea9cd245bab..17db26887ce744c92704eaa69d1fdafb6e5edaee 100755 (executable)
@@ -1,9 +1,11 @@
 #!/usr/bin/perl -w
 
 use strict;
-use POSIX;
 
 use Debian::Dgit;
+setup_sigwarn();
+
+use POSIX;
 
 open DEBUG, '>/dev/null' or die $!;
 if (@ARGV && $ARGV[0] eq '-D') {
@@ -119,7 +121,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; };