From dfe3cc1888ee85013c1c326153a5e1dce68f01a0 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 3 Mar 2025 05:17:00 +0100
Subject: [PATCH] Warn about failed type export

---
 adminer/dump.inc.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/adminer/dump.inc.php b/adminer/dump.inc.php
index 1a370e6b..bac6e897 100644
--- a/adminer/dump.inc.php
+++ b/adminer/dump.inc.php
@@ -57,6 +57,8 @@ SET foreign_key_checks = 0;
 						$enums = type_values($id);
 						if ($enums) {
 							$out .= ($style != 'DROP+CREATE' ? "DROP TYPE IF EXISTS " . idf_escape($type) . ";;\n" : "") . "CREATE TYPE " . idf_escape($type) . " AS ENUM ($enums);\n\n";
+						} else {
+							$out .= "-- Could not export type $type\n\n";
 						}
 					}
 				}
-- 
2.39.5