patch-libdjvu_DjVuDocument_cpp 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. $OpenBSD: patch-libdjvu_DjVuDocument_cpp,v 1.1 2016/03/02 20:10:36 juanfra Exp $
  2. "accept documents with duplicate page titles"
  3. http://sourceforge.net/p/djvu/djvulibre-git/ci/77a4dca8dd3acd0acc1680fa14a352c11084e25d/
  4. https://bitbucket.org/jwilk/pdf2djvu/issues/113/duplicate-page-title-1
  5. --- libdjvu/DjVuDocument.cpp.orig Mon Sep 22 00:06:03 2014
  6. +++ libdjvu/DjVuDocument.cpp Wed Feb 3 01:51:28 2016
  7. @@ -805,11 +805,9 @@ DjVuDocument::id_to_url(const GUTF8String & id) const
  8. {
  9. GP<DjVmDir::File> file=djvm_dir->id_to_file(id);
  10. if (!file)
  11. - {
  12. file=djvm_dir->name_to_file(id);
  13. - if (!file)
  14. - file=djvm_dir->title_to_file(id);
  15. - }
  16. + if (!file)
  17. + file=djvm_dir->title_to_file(id);
  18. if (file)
  19. return GURL::UTF8(file->get_load_name(),init_url);
  20. }
  21. @@ -819,11 +817,9 @@ DjVuDocument::id_to_url(const GUTF8String & id) const
  22. {
  23. GP<DjVmDir::File> file=djvm_dir->id_to_file(id);
  24. if (!file)
  25. - {
  26. file=djvm_dir->name_to_file(id);
  27. - if (!file)
  28. - file=djvm_dir->title_to_file(id);
  29. - }
  30. + if (!file)
  31. + file=djvm_dir->title_to_file(id);
  32. if (file)
  33. return GURL::UTF8(file->get_load_name(),init_url.base());
  34. }