On 10/22/2017 05:02 PM, Jeffrey R. Carter wrote:
> Perhaps. I've noticed with Firefox 56.0/Linux that the widget sometimes shows
> the total time as well as the elapsed time the
> first time a file is played. I don't know for sure what the deciding factor
> is, but it seems that it always
On 10/22/2017 04:02 PM, Pascal via Gnoga-list wrote:
> With Firefox on macOS I've got errors at first run but none on next runs in
> the same window.
> Is it something regarding caching?
>
> 2017-10-22 15:49:17.07 : Play_Sound: http://localhost:8080/glass.ogg
> 0.0E+00
> 2017-10-22
Hello Jeff,
I've pushed patches and Ding to SF GIT on dev_1.3 branch.
With Firefox on macOS I've got errors at first run but none on next runs in the
same window.
Is it something regarding caching?
/gnoga-code/bin/ding
Gnoga:1.3a
Application root :/gnoga-code/
Executable at
Hello Jeff,
It's getting less obscure with:
https://developer.mozilla.org/en-US/docs/Web/API/HTMLMediaElement/duration
"Value
A double. If the media data is available but the length is unknown, this value
is NaN. If the media is streamed and has no predefined length, the value is
Inf."
I get
On 09/30/2017 10:57 AM, Pascal via Gnoga-list wrote:
> Two points:
> - it seems that duration is not available before the sound is ready to play
> (with Firefox)
> - the duration function should return Float
>
> I modify Play_Sound as follow with a waiting loop for readiness:
>
>procedure
Hello Jeff,
Have you a small test code to try on other configurations?
Regards, Pascal.
http://blady.pagesperso-orange.fr
> Le 21 sept. 2017 à 21:12, Jeffrey R. Carter a écrit :
>
> On 09/21/2017 08:49 PM, Jeffrey R. Carter wrote:
>> Sometimes the Audio_Type player widget
On 09/21/2017 08:49 PM, Jeffrey R. Carter wrote:
> Sometimes the Audio_Type player widget shows both the elapsed time and the
> total
> time, and Media_Duration returns a non-zero value, but usually the widget only
> shows the elapsed time and Media_Duration returns zero, usually with a log msg
>