<p>Dear Gustav<br>
We can shorten the length of the audio file to suit our requirements. It can easily be done using audacity audio editing software which is an open source.<br>
Regards</p>
<div class="gmail_quote">On Jul 31, 2013 6:26 AM, &quot;André Gustavo Schaeffer&quot; &lt;<a href="mailto:andre_schaeffer@yahoo.com.br">andre_schaeffer@yahoo.com.br</a>&gt; wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir="ltr">
<div dir="ltr">
<div style="font-size:12pt;font-family:&#39;Arial&#39;">
<div>Hi all.</div>
<div>We have the playAudio procedure, but is it possible to STOP an audio that 
is currently playing?</div>
<div style="font-size:12pt;font-family:&#39;Arial&#39;"><br>André 
Gustavo 
Schaeffer<br><a href="mailto:andre_schaeffer@yahoo.com.br" target="_blank">andre_schaeffer@yahoo.com.br</a><br><a href="https://sites.google.com/site/andregustavoschaeffer" target="_blank">https://sites.google.com/site/andregustavoschaeffer</a><br>
</div></div></div></div>
<br>_______________________________________________<br>
alice-teachers mailing list<br>
<a href="mailto:alice-teachers@lists.andrew.cmu.edu">alice-teachers@lists.andrew.cmu.edu</a><br>
<a href="https://lists.andrew.cmu.edu/mailman/listinfo/alice-teachers" target="_blank">https://lists.andrew.cmu.edu/mailman/listinfo/alice-teachers</a><br>
<br></blockquote></div>