Re: [Gnoga-list] Audio_Type Media_Duration

2017-11-27 Thread Jeffrey R. Carter
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-10-22 Thread Jeffrey R. Carter
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-10-22 Thread Pascal via Gnoga-list
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-10-01 Thread Pascal via Gnoga-list
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-09-30 Thread Jeffrey R. Carter
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-09-22 Thread Pascal via Gnoga-list
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

Re: [Gnoga-list] Audio_Type Media_Duration

2017-09-21 Thread Jeffrey R. Carter
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 >