+ $mini_dest = getthumbsdir () . "/mini_" . basename_safe ($dest);
+
+ try {
+ $thumbnail_ok = create_thumbnail ($dest, $mini_dest);
+ } catch (Exception $e) {
+ $thumbnail_ok = false;
+ }
+ if (!$thumbnail_ok) {
+ if (!copy ($dest, $mini_dest)) {
+ server_error ();
+ }
+ }
+