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
