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 peter_e@gmx.net http://yi.org/peter-e/
