tools: Add options to gpg-wks-server.
[gnupg.git] / tools / sockprox.c
index 38648f0..3593598 100644 (file)
@@ -271,9 +271,9 @@ io_loop (FILE *client, FILE *server, FILE *protocol)
 \f
 
 
-/* Set the `O_NONBLOCK' flag of DESC if VALUE is nonzero,
+/* Set the 'O_NONBLOCK' flag of DESC if VALUE is nonzero,
    or clear the flag if VALUE is 0.
-   Return 0 on success, or -1 on error with `errno' set. */
+   Return 0 on success, or -1 on error with 'errno' set. */
 
 int
 set_nonblock_flag (int desc, int value)
@@ -443,7 +443,8 @@ run_proxy (void)
  out:
 
   pthread_attr_destroy (&thread_attr);
-  fclose (protocol_file);      /* FIXME, err checking.  */
+  if (protocol_file)
+    fclose (protocol_file);    /* FIXME, err checking.  */
 
   return err;
 }