Warn about failed type export

diff --git a/adminer/dump.inc.php b/adminer/dump.inc.php
index 1a370e6ba3ffc632e057b2a8b283470b95dd9ec2..bac6e8979e1b242dde5fdcf6f7d076a2f3efc986 100644 (file)
--- 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";
                                                }
                                        }
                                }