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? -- regards, Reinhard _______________________________________________ pkg-multimedia-maintainers mailing list pkg-multimedia-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
