del_db($val);
      if (!$r) {
	$error.=$err->errstr()."
";
      } else {
	$error.=sprintf(_("The database %s has been successfully deleted"),$mem->user["login"].(($val)?"_":"").$val)."
";
      }
    }
  }
  include("sql_list.php");
  exit();
}
include("head.php");
?>