/[gnatsweb]/gnatsweb/gnatsweb.pl
ViewVC logotype

Diff of /gnatsweb/gnatsweb.pl

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.111 by yngves, Fri Oct 25 08:07:47 2002 UTC revision 1.112 by yngves, Fri Oct 25 08:14:04 2002 UTC
# Line 1239  EOT Line 1239  EOT
1239    
1240    # Check PR text before submitting    # Check PR text before submitting
1241    client_cmd ("chek initial");    client_cmd ("chek initial");
1242      # If the check fails, the next call will exit after leaving
1243      # an error message.
1244    client_cmd("$text.");    client_cmd("$text.");
   return if ($client_would_have_exited);  
1245    
1246    client_cmd ("subm");    client_cmd ("subm");
1247    client_cmd("$text.");    client_cmd("$text.");

Legend:
Removed from v.1.111  
changed lines
  Added in v.1.112

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26