Changes to gnats/gnats/file-pr.c

Index: gnats/gnats/file-pr.c
diff -c gnats/gnats/file-pr.c:1.45 gnats/gnats/file-pr.c:1.46
*** gnats/gnats/file-pr.c:1.45	Sun Feb 10 13:23:42 2002
--- gnats/gnats/file-pr.c	Thu May 16 19:24:57 2002
***************
*** 594,608 ****
    regex.translate = case_fold;
    
    {
!     const char *const PAT = "\\<((PR[ \t/])|([-a-z0-9_+.]+)/)([0-9]+)";
      re_compile_pattern (PAT, strlen (PAT), &regex);
    }
!   i = re_match (&regex, headerValue, strlen (headerValue), 0, &regs);
    regex.translate = NULL;
    regfree (&regex);
    re_set_syntax (old_syntax);
  
!   if (i <= 0)
      {
        return NULL;
      }
--- 594,609 ----
    regex.translate = case_fold;
    
    {
!     const char *const PAT = "\\<((PR[ \t/])\\|([-a-z0-9_+.]+)/)([0-9]+)";
      re_compile_pattern (PAT, strlen (PAT), &regex);
    }
!   i = re_search (&regex, headerValue, strlen (headerValue), 0,
! 		 strlen (headerValue), &regs);
    regex.translate = NULL;
    regfree (&regex);
    re_set_syntax (old_syntax);
  
!   if (i < 0)
      {
        return NULL;
      }