A fatal scanner error (likely a memory exhaustion problem) causes a
straight exit() without clean up, which causes a system-wide restart.
This should fix it:

*** scan.l      2001/01/24 19:43:03     1.85
--- scan.l      2001/01/27 14:14:29
***************
*** 55,60 ****
--- 55,62 ----
  /* No reason to constrain amount of data slurped per myinput() call. */
  #define YY_READ_BUF_SIZE 16777216

+ #define YY_FATAL_ERROR(msg) elog(FATAL, "%s", (msg))
+
  #else /* !FLEX_SCANNER */

  #undef input

But you will now get an unavoidable

scan.c:2145: warning: `yy_fatal_error' defined but not used

Objections or concerns?

-- 
Peter Eisentraut      [EMAIL PROTECTED]       http://yi.org/peter-e/

Reply via email to