[webkit-gtk] Webkit seizes sound device

[Philippe Normand]

On 2013-12-01 17:26, Jeffrey Barish wrote:
> On Sunday, 01 December 2013 16:44:22 Philippe Normand wrote:
>> Which website are you trying to visit exactly?
> 
> Wikipedia.  The page about John Philip Sousa, for example.
> 

So you play the audio on that page and the audio device is not released, 
right?
That bug has been fixed in version 1.11.1. 1.8.3 is quite old, I advise 
you to report
that issue in Ubuntu's bug tracker, perhaps someone would cherry-pick 
the patch:

https://bugs.webkit.org/show_bug.cgi?id=89122

Philippe

>> The webaudio setting would be useful only for websites using the
>> WebAudio API... Anyway, WebAudio is not even enabled in the build yet 
>> so
>> this setting has no effect at all.
>> 
>> Which version of the webkitgtk package are you using exactly?
> 
> dpkg says
> 
> libwebkitgtk-1.0-0                   1.8.3-0ubuntu0.12.04.1
> 
>> Can you test the latest stable release?
> 
> Probably beyond my abilities.  If it's available as a deb package 
> maybe.
> 
>> Philippe
>> 
>> On Sat, 2013-11-30 at 10:00 -0700, Jeffrey Barish wrote:
>> > Apologies to those who have seen this message on the webkit mailing list.
>> > I erroneously subscribed to that list before understanding that I should
>> > have subscribed to this one.
>> >
>> > When I visit a web page that wants to play a sound, webkit opens the sound
>> > device and never lets go of it until I navigate away from the page.  I
>> > would like for webkit not to open the sound device (and to ignore any
>> > play request, obviously).  Is there a way to tell webkit globally that it
>> > should ignore all sounds and never, ever open the sound device?
>> >
>> > I am on Lubuntu 12.04.  webkit appears to be 1.0.
>> >
>> > I found the enable_webaudio property in WebSettings.  It seemed as if it
>> > would solve my problem, but it was already at its default value (False).
>> >
>> > I tried changing some settings in dconf-editor:
>> >
>> > org | gnome | desktop | media-handling | autorun-never -> ticked
>> > org | gnome | desktop | media-handling | autorun-x-content-ignore ->
>> > ['audio/ogg']
>> > desktop | gstreamer | 0.10 | default-elements |
>> > {chat,music,sounds}-audiosink -> fakesink
>> >
>> > all to no avail.  Any suggestions?  My best idea at this point is to
>> > filter the <audio></audio> item out of the html, but I think that's a
>> > pretty bad idea.
>> >
>> > Jeff
>> > _______________________________________________
>> > webkit-gtk mailing list
>> > webkit-gtk at lists.webkit.org
>> > https://lists.webkit.org/mailman/listinfo/webkit-gtk
>> 
>> _______________________________________________
>> webkit-gtk mailing list
>> webkit-gtk at lists.webkit.org
>> https://lists.webkit.org/mailman/listinfo/webkit-gtk
> 
> _______________________________________________
> webkit-gtk mailing list
> webkit-gtk at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-gtk