Recognize that an inability to execute gpgv is a server error

This is an event that should never happen, therefore it now uses ftp_abort.

diff --git a/gatekeeper.pl b/gatekeeper.pl
index db180657c3115f919af63c17f02a3396540ff728..42f142d61433da77248c64c87be0045c148f5987 100755 (executable)
--- a/gatekeeper.pl
+++ b/gatekeeper.pl
@@ -721,9 +721,8 @@ sub verify_clearsigned_message {
     chomp $err;
     if ($err =~ m/^ERR: (.*)$/) {
       # This is bad - we couldn't even execute the gpgv command properly
-      guess_uploader_email($text);
-      fatal("gpg verify of directive file failed (error executing gpgv): $1",
-           0,'',2);
+      ftp_abort
+       ("gpg verify of directive file failed (error executing gpgv): $1");
     }
   }
   close $gpgv_flag;    # child has closed its end one way or another