old flex needs more cleanup

diff --git a/src/scanner.l b/src/scanner.l
index a736d9f07bafda9e62633be6b71d3fb25d0c305d..d5a1000c6a75a9d902789411ffc57ab9cdba2a2b 100644 (file)
--- a/src/scanner.l
+++ b/src/scanner.l
@@ -97,6 +97,8 @@ int plproxy_yylex_destroy(void)
 {
        plproxy_yy_delete_buffer(YY_CURRENT_BUFFER);
        YY_CURRENT_BUFFER = NULL;
+       yy_start = 0;
+       yy_init = 1;
        return 0;
 }