Re: Bug#60441: I can't reproduce this bug

[A Mennucc1 <debian@Tonelli.sns.it>]

hi

On Sat, Sep 30, 2000 at 03:02:26PM +0200, Christoph Martin wrote:
[snip snip snip]
> Well, if you turn on debuging, you get the following:
> 
> #dvi -debug 4096 ../tex/http
> (.. some output ..)
> htex_do_url(http:AAAAAAAAAAAAAA)
> open_www_file(http:AAAAAAAAAAAAAA)
> figure_mime_type: Called to find type of http:AAAAAAAAAAAAAA
> No extension, defaulting to application/x-dvi
> Shortcircuting local file url: file:/homes/edv/martin/work/debian/tex/http.dvi
> Local filename is: /homes/edv/martin/work/debian/tex/http.dvi
> www_fetch(http:AAAAAAAAAAAAAA->/tmp/emacs-11917/xdvi7MhnT0/AAAAAAAAAAAAAAa) returned content-type: www/unknown
> wait_for_urls(): URL http:AAAAAAAAAAAAAA in file /tmp/emacs-11917/xdvi7MhnT0/AAAAAAAAAAAAAAa
> 
> The there seem to be two problems. xdvi thinks, if a file has no
> extension, that it is of type application/x-dvi, but this does not
> have to be true, if it in a hyperlink in a htex file. 

I would say that the main problem is indeed in the
  «No extension, defaulting to application/x-dvi»
behaviour

in my humble opinion, the right behaviour would be that
"if file is not surely of type application/x-dvi,
then, call an external browser"

indeed, the probability that a file without .dvi extension
be a DVI file is almost zero

> If it loads a
> new file via a hyperlink it calls init_dvi_file like on initial
> startup and exits if it finds a problem with the file rather than
> giving a message.

yes, it would be better if it gave a message and then
it reverted to the old file, or it asked for a new file
(as any decent browser would do)

> I don't know of a good patch for the moment.

I may work on it if I find time


bye

a.


-- 
A Mennucc
 "È un mondo difficile. Che vita intensa!" (Renato Carotone)