From: Marko Kreen <markokr@gmail.com>
Date: Tue, 30 Oct 2007 10:47:22 +0000 (+0000)
Subject: old flex needs more cleanup
X-Git-Tag: plproxy_2_0_3rc1~12
X-Git-Url: http://git.postgresql.org/gitweb/static/gitweb.js?a=commitdiff_plain;h=eed2cd254a3cfc6f1297ad9e122a1e2e3a559ccb;p=plproxy.git

old flex needs more cleanup
---

diff --git a/src/scanner.l b/src/scanner.l
index a736d9f..d5a1000 100644
--- 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;
 }