Erik Nordström c60b08e83a Fix DROP EXTENSION
DROP EXTENSION didn't properly reset caches and other saved state
causing various errors related to bad state when the extension was
dropped and/or recreated later.

This patch adds functionality to track the state of the extension and
also signals DROP EXTENSION to other backends that might be running,
allowing them to reset their internal extension state.
2017-03-22 19:43:40 +01:00
..
2017-03-22 19:43:40 +01:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00
2017-03-06 11:06:49 -05:00