Am Donnerstag, den 30.05.2013, 17:20 +0200 schrieb Reinhard Tartler: > On Thu, May 30, 2013 at 5:16 PM, Rémi Denis-Courmont <r...@remlab.net> wrote: > > > I am not familiar with libproxy internals. Due to the swarm of crash > > reports, > > I have made VLC 2.1 execute /usr/bin/proxy from proxy-tools in a separate > > process instead of calling libproxy directly. (This also weakens the > > run-time > > dependency on libproxy.) At least, VLC will not crash anymore. > > Given the maturity consideration of libproxy, this seems reasonable. > Thanks for this! > > >> Also, reading bug > >> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604934 makes me feel > >> sad and wonder, if there was some way to disable the usage of libproxy > >> in vlc altogether? > > > > For VLC 2.0, either `./configure --disable-libproxy' or build-time conflict > > with > > libproxy-dev ought to do. Then the plain old $http_proxy will be used. > > That makes sense to me. Benjamin, I suggest to do so in both Debian > and Ubuntu. What do you think?
Am Freitag, den 31.05.2013, 03:43 +0200 schrieb Jules Bernable: > Ok, so I updated libproxy0 to the latest version > (0.3.1-6/stable,testing,unstable) and the bug is gone ! > Currently the vlc-nox package depends on libproxy0 >= 0.2.3 > Maybe should it be updated to depend on libproxy0 >= 0.3.1 ? The bug is fixed in libproxy0 0.3.1-6 (or earlier). The Ubuntu bug #1038578 is linked to number one VLC crash [1], but I think that link is wrong. The backtrace of the number one VLC crash has no libproxy in it. If Ubuntu bug #1038578 was more widespread, it would probably have one reporter collecting all needed crash information, wouldn't it? What would we loose when we switch from libproxy to the plain old $http_proxy? I tend to think that we should just keep libproxy enabled and wait for the 2.1 release (that will come soon!?). What do you recommend, Rémi? @Jules: I don't think that it makes sense to bump the version of a dependency for every bug in the dependency, unless the bug renders the package useless for every user. [1] https://errors.ubuntu.com/?package=vlc -- Benjamin Drung Debian & Ubuntu Developer _______________________________________________ pkg-multimedia-maintainers mailing list pkg-multimedia-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
