[DVIPDFMx] latest change to pdfnames.c

[Matthias Franz]

Hi Chof,

why did you turn off the warning message in pdfnames.c (unless
we are in verbose mode)? It might indicate a serious problem
in the DVI file.

I've come across this situation (multiply defined object reference)
when I concatenated DVI files with dviconcat while using hyperref.
Here the problem is not serious. But another question comes up:

What should we do if an object reference is redefined? Currently
we discard the new value (BTW, there is a memory leak, i.e., no
pdf_release_obj). If you think of the situation where DVI files are
concatenated, it might be better to replace the old value.

Cheers,
-- 
Matthias