You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, if you just create the extension without adding it to shared_preload_libraries, it fails during pglater.fetch_results by just not producing any results. That's likely because it's unable to spin up a background worker.
We should fail more gracefully by failing to CREATE EXTENSION if it's not in shared_preload_libraries.
The text was updated successfully, but these errors were encountered:
Currently, if you just create the extension without adding it to
shared_preload_libraries
, it fails duringpglater.fetch_results
by just not producing any results. That's likely because it's unable to spin up a background worker.We should fail more gracefully by failing to
CREATE EXTENSION
if it's not inshared_preload_libraries
.The text was updated successfully, but these errors were encountered: