2067a2068,2070
> 
>   $result = FALSE;
> 
2069c2072,2084
<     return (bool)db_result(db_query("SHOW INDEX FROM {". $table ."} WHERE key_name = '$name'"));
---
>     if (db_version() >= '5.0.3') {
>       $result = (bool)db_result(db_query("SHOW INDEX FROM {". $table ."} WHERE key_name = '$name'"));
>     } else {
>       // Earlier versions of MySQL don't support a WHERE clause for SHOW. Sigh.
>       $query = db_query("SHOW INDEX FROM {". $table ."}");
> 
>       while (($row = db_fetch_array($query)) !== FALSE) {
>         if ($row['Key_name'] == $name) {
>           $result = true;
>           break;
>         }
>       }
>     }
2070a2086
> 
2072c2088
<     return (bool)db_result(db_query("SELECT COUNT(indexname) FROM pg_indexes WHERE indexname = '$name'"));
---
>     $result = (bool)db_result(db_query("SELECT COUNT(indexname) FROM pg_indexes WHERE indexname = '$name'"));
2074c2090,2091
<   return FALSE;
---
> 
>   return $result;