src/tls_test.gaa

   1 helpnode "GNU TLS debug client\nUsage: gnutls-cli-debug [options] hostname\n\n"
   2
   3 #int pp;
   4 option (p, port) INT "integer" { $pp = $1 } "The port to connect to."
   5
   6 option (h, help) { gaa_help(); exit(0); } "prints this help"
   7
   8 #int nrest_args;
   9 #char **rest_args;
  10 rest *STR "hostname" { $rest_args = $1; $nrest_args = @1 }
  11
  12 init { $rest_args=NULL; $nrest_args=0; $pp = 443; }
  13