Bug#227267: whizzytex: viewer process dies

[Sven Luther <sven.luther@wanadoo.fr>]

On Wed, Jan 14, 2004 at 07:18:16AM +0900, Junichi Uekawa wrote:
> reassign 227267 advi
> severity 227267 grave
> thanks
> 
> 
> Hi,
> advi 1.4.0-4 didn't exhibit this behavior, but 
> 1.4.0-6 seems to have problems with whizzytex interaction.

Ok, that is not nice.

> Is it dying with signal 1?
> 
> I've got a feeling that /usr/bin/advi has silently 
> become a shell script, and it's not accepting
> signal 1 to advi.

Ok, that would be for Stefano's change to have advi be a wrapper around
the real advi which does gunzipping or something such. Sylvain
implemented this, so we will hear is comment.

I think an easy solution would be for whizzytex to simply not call advi,
but the real thing (advi.bin i think), altough let's discuss this issue.
Sylvain and Stefano, what do you think about it ?

BTW, if we had gone the way of using camlzip for this, this would not
have been a problem.

> Please handle signal 1 so that advi.bin receives the
> signal, or provide a feasible interface to advi.

Is this possible with a shell script ? I am no shell script expert and
wouldn't know how to do it.

> IMHO, providing zadvi or something similar instead of 
> hacking advi to be a shell script itself would have been better...

A nice solution too, what do others think ?

Friendly,

Sven Luther