src/pgp_gpg.c
changeset 915 72fe8bd4ae5e
parent 877 33ede5ddef27
child 958 cef602982909
child 1005 8e2c8253a385
child 1122 bbd0d058f0e3
     1.1 --- a/src/pgp_gpg.c	Wed Jul 20 15:09:03 2016 +0200
     1.2 +++ b/src/pgp_gpg.c	Wed Jul 20 15:26:26 2016 +0200
     1.3 @@ -37,6 +37,9 @@
     1.4          assert(length == stringlist_length(values));
     1.5          if (!(length == stringlist_length(values) &&
     1.6                length <= sizeof(unsigned int) * CHAR_BIT)) {
     1.7 +            r = Fclose(f);
     1.8 +            assert(r == 0);
     1.9 +        
    1.10              return false;
    1.11          }
    1.12