PencilCode/jquery-turtle — pull request #62 by davidbau (2014-04-30 13:28:30+00:00)
Title: Stop audio when the user interrupts execution.

Prior to this change, audio would continue playing when the "stop" button was pressed.

Now we stop it by hacking off (and replacing) the top-level audio node (through which we funnel all our audio) immediately upon interrupt.