1234567891011121314151617181920212223242526272829303132333435363738 |
- $OpenBSD: patch-libdjvu_DjVuDocument_cpp,v 1.1 2016/03/02 20:10:36 juanfra Exp $
- "accept documents with duplicate page titles"
- http://sourceforge.net/p/djvu/djvulibre-git/ci/77a4dca8dd3acd0acc1680fa14a352c11084e25d/
- https://bitbucket.org/jwilk/pdf2djvu/issues/113/duplicate-page-title-1
- --- libdjvu/DjVuDocument.cpp.orig Mon Sep 22 00:06:03 2014
- +++ libdjvu/DjVuDocument.cpp Wed Feb 3 01:51:28 2016
- @@ -805,11 +805,9 @@ DjVuDocument::id_to_url(const GUTF8String & id) const
- {
- GP<DjVmDir::File> file=djvm_dir->id_to_file(id);
- if (!file)
- - {
- file=djvm_dir->name_to_file(id);
- - if (!file)
- - file=djvm_dir->title_to_file(id);
- - }
- + if (!file)
- + file=djvm_dir->title_to_file(id);
- if (file)
- return GURL::UTF8(file->get_load_name(),init_url);
- }
- @@ -819,11 +817,9 @@ DjVuDocument::id_to_url(const GUTF8String & id) const
- {
- GP<DjVmDir::File> file=djvm_dir->id_to_file(id);
- if (!file)
- - {
- file=djvm_dir->name_to_file(id);
- - if (!file)
- - file=djvm_dir->title_to_file(id);
- - }
- + if (!file)
- + file=djvm_dir->title_to_file(id);
- if (file)
- return GURL::UTF8(file->get_load_name(),init_url.base());
- }
|